It is probably worth investigating adding Google analytics (or similar) to the GitHub pages website. Then we could track usage and use the information to better prioritise what users are viewing the most.