18:56:14beachI need to spend time with my (admittedly small) family, but I'll be back tomorrow UTC+1.
0:18:44nyef``So, while trying to get enough of a working TeX setup that I can build documentation, I'm poking around trying to figure out what's what. And I run into a Jabberwocky reference in the Cleavir Documentation directory. And then promptly run into "The name of the \asdf{} system that ... is called \texttt{cleavir-ast-to-hir}", which leads me to ask "why do we care what the name is called?" We need to know the name of the system, not what
0:18:44nyef``the system is called or what the name is called.
0:19:19nyef``And I possibly wouldn't've picked up on this if it weren't for the Jabberwocky reference putting me in a rather Carrollean(?) frame of mind.