@ramsey@phpc.social I use Debian and it has all the RFCs packaged so I can read up on stuff in /usr/share/doc – which I cannot for W3C documents. For MDN I have a git checkout, but on another laptop. So today, sitting at an airport in Slovenia, as I was wondering about the details of the DETAILS and SUMMARY tags, I had no offline option.