@TQ I can be called a journalist and a professional, and I find it good. ;)

@TQ "Benedictus qui venit in nomine Satani" could be a good addition!

@TQ I'm going to sing in a Latin choir at the mass for the dead on the all saints day (with Dies Irae and all).
Most people there know I'm an atheist but no one minds.

@tuxflo @TQ @suetanvil Where is that option? I need it badly. I absolutely don't mind 99.999% of things people hide behind content warnings, so clicking is just extra effort for me.

@TQ It's a running theme with proprietary platforms and software alike. Free software must be absolutely perfect, while a big name is allowed to be as buggy as it wants and its support can tell users to get lost, but there will still be people who defend it.

@TQ There's no eye contact only if I look at the screen with my head straight. If I turn my head and move to the right, there will be eye contact. ;)

@lthms Thanks! When I need something that isn't yet possible with soupault, my first question is "what feature would allow me to do it if I wasn't its maintainer" (and thus didn't even know how to add a special case for it).
I believe more maintainers should be asking that question to themselves rather than make "opinionated" software where users can only migrate to something else if they hit the wall.

@lthms Also, I noticed that you are using insert-html with a hardcoded version number for the <meta name="generator"> tag.
So I made a "Generator Meta Professional 2022" plugin that automatically keeps the version up to date and groups that tag with existing meta tags: https://soupault.app/plugins/#generator-meta-tag

@lthms I'm not judging your choice to use Make for source code to HTML conversion if you prefer it.
I just want to make it possible to use either Make or preprocessor config without a performance compromise, and also do caching that Make can't do — cache outputs of commands used in "exec" widgets.

@lthms Ah, cool, thanks!
I'm going to release soupault 4.3.0 with a few fixes this weekend and then work on caching of external program outputs. I think I have some workable ideas for both cache invalidation and eviction.
I think if it works as expected, it will make preprocessor vs Makefile a personal preference rather than a performance choice.
If there's anything that you think could help you generate HTML from Coq sources etc. using soupault's page preprocessor mechanism, please let me know.