Originally Posted by norciom
extensions.cfg is UTF-8, Unix style I think. The linux editor I used does not ask about line ends.
I'm wondering if we couldn't solve the HTM HTML problem (extensions in caps that aren't opened by the reader) by just adding those endings to extensions.cfg. Opinions anyone?