List of Non-Bug Todo Items, with Priority [PRI 2] Make long-sequence input (> 6 chars) work. e.g. {\m+}\' [PRI 2] Speed up the input. Need to profile the application. [PRI 2] Proofing of output codes of all scripts