On Wednesday, 16 February 2022 at 20:07:09 UTC, Christian Köstlin wrote: > 1. I was pointed by Seb to https://devdocs.io/d/ which offers > an offline mode via html5. Thanks, that looks promising!