replace automatic repo list with hand-edited HTML