5 Aug
2019
5 Aug
'19
9:28 p.m.
On 2019-08-05 15:19:46 -0400 (-0400), Hongbin Lu wrote:
Interesting idea. That makes me wonder if we have to pick a name starting with 'U'. If the rule can be relaxed to allow a name with 'U' as the second letter, it would be much easier. [...]
Only if we also actually type the name starting with a "u" in the places we use it, so that it will ASCII sort between "train" and whatever name we come up with for the "v" cycle. -- Jeremy Stanley