rustcii

A tool to convert old and outdated \"characters\" into the superior Rustcii-Encoding.