@neauoire yes, probably. was someone else working on...

@neauoire yes, probably. was someone else working on updating pygments? if not i will take another look

Like 15 Oct 2023 at 15:20 | Wall-to-wall | Open on merveilles.town