Miscellaneous minor files related to Leo-Editor