grassroots-user-docs: An HTML repository from Earlham Institute