Thanks for the suggestion. I have updated the link from the HotPot plugin page to the Moodle docs page.
I am not familiar with the Moodle Docs "User" pages. What are they for? Why are you suggesting I fill out the Gordon Bateson page, even though you have not yet added anything to the German Valero page?