Docs got some love


(Jakob Borg) #1

I added some features to the docs site. It’s now possible to browse versions of the docs, and updated time is actually correct for each given page and version.


(uok) #2

Thanks, helpful improvement!