The Repository for the GitHub Pages website of PicklesDoc