chiark / gitweb /
Fix up example invocations of dictionary-manager for directory rename