It's a huge plus if we can let users export documentation to PDF files so they don't have to be online to check the docs. _Note: This can happen at either build time or in-broswer, depends on which is easier to implement._
It's a huge plus if we can let users export documentation to PDF files so they don't have to be online to check the docs.
Note: This can happen at either build time or in-broswer, depends on which is easier to implement.