Abbreviations instead of numbers in grid

[Torgen]

Since puzzles aren't guaranteed to be in the same order in a round as they were unlocked (e.g. the games round, where the natural order of puzzles was horizontal-tb, but they were unlocked based on adjacency rules when other puzzles were solved), the numbers used in the status grid can be inconsistent. We should replace them with an automatic abbreviation of the puzzle's name. The same abbreviation can be used in the breadcrumbs on narrow windows in lieu of the full name.

Proposed algorithm:

• elide a/an/the
• If only one word left, first three letters, with first capitalized.
• Shorten "at" -> @, "Of" -> /,"with" -> w, "and" -> &, short number words to digits, and all other words to capital first letters.
• Possibly disambiguate if puzzles with different names have same abbreviation, e.g. first unused differing letter, lower case, appended to initial of word it's from.