Standard Library-Talk

Since the move to github, the README files no longer automatically contain links to the other modules. I see that they are now Agda files, not HTML. Is there anything that can be done about this? Are the HTML docs still generated by make?