replace automatic repo list with hand-edited HTML

Includes clarifying the difference between this website, and the repo that maintains the source code for this website.