3 ms·

Comments don't look well planned. First they double down on brevity, then the go with 'NB.' for a comment heading instead of a quote or something.

• throwaway7645 9y ago
  It makes perfect sense. A symbol is way too valuable.