Great. Attach is a newer revision which handles syntax-highlighting of user-defined types slightly better :) -- Vennlig hilsen Jostein Kjønigsen jostein@kjonigsen.net 🍵 jostein@gmail.com https://jostein.kjønigsen.no On Fri, Dec 22, 2023, at 11:42, Stefan Kangas wrote: > Jostein Kjønigsen writes: > > > Any opinions? > > Makes sense to me. >