> On 19 Nov 2019, at 20:09, Magnus Hagander <magnus@hagander.net> wrote:
> One thing that comes up when I see 0001 -- "online manuals".. It's not like we provide offline manuals... Maybe we
shouldjust call it manuals?
Well, the PDF files are offline manuals no?
cheers ./daniel