On Mon, May 7, 2018 at 9:36 AM Hiltjo Posthuma <[email protected]> wrote: > No, documentation should be readable offline.
Even though BUGS *document* shortcomings, they're not really helpful as an offline resource on their own, especially without the source to also reflect them. But please, move along, nothing to see here. cheers! mar77i
