On Sat, Dec 20, 2025 at 10:43 PM Collin Funk <[email protected]> wrote:
> my preference is for using local file:// urls. I agree with you. Maybe: Check runtime whether the local documentation is indeed installed at the expected location (just a stat() or alike). If it is, point to that. Otherwise (e.g. a distribution splits it to a different package which the user chose not to install) point to the web. e.
