I added a manual page explaining the abbreviations. :) I think it fits the game well.
Previously I used the phrases like “chars” in the manual a lot, but then changed it to “characters” and “letters” that are more player-friendly. Maybe I could have kept the programming jargon in there while providing a separate vocab note page. :) Writing is not my strongest side though as you might have guessed by this point. :)