This reverts commit 45c635872b, reversing changes made to f2b82369f2.
45c635872b
f2b82369f2
#
.
uses of `#` cause ERRORs in our scheme highlighting