Hi (especially Jack), it occurred to me that from time to time we should update the syntax specification for hansl that we once sent to the maintainer of the TeX listings package. (Which provides syntax coloring in TeX documents; see here for example: https://tug.org/texlive/Contents/live/texmf-dist/tex/latex/listings/listi...) Because there are some new functions that have accumulated over time. This is just a reminder (also to self) for the future. thanks sven