Gabriel Scherer

Yes, but it also leads to incorrect dependencies being computed whenever "no dependency" is not the right choice for a plugin. This may not be an issue as long as...

Yes of course. I don't think they are very high-quality, but they may be useful to people that need more very-easy exercises (than what is provided by the MOOC, for...

I wonder if it is possible to isolate the "viewer" part of texpresso and implement it into some easier-to-use language that has a decent SDL API and is more likely...

(I haven't tried generating the documentation locally to check that the reference syntax works. Hopefully someone who knows about this stuff can check from the CI results.)

It's work to move it over, so I won't do it overnight, but sure, if we agree in principle, let's do it -- gradually.

I'll look at who the contributors are for each page and ping them as I go along.

Do images ever get rebuilt after they are published for the first time, or is the intention that they remain frozen forever? I'm a bit nervous about the idea that...

Thanks for the feedback, I will consider opening an issue on opam-repository to discuss "last-patchset switches". (I thought of contributing those directly in the past, but then I realized that...

> and a very specific release can be built from within the image if desired Sure, but my understanding was that those images are meant to save people the trouble...

I created an upstream issue on opam-repository to discuss "latest patchset release" switch names. https://github.com/ocaml/opam-repository/issues/22966 I originally thought that they should be named `5.0`, but actually I think that `5.0.latest`...