This page is weirdly misplaced and mis-named; let's move it into
the repository subfolder where it belongs.