spec: Add a link to the sources from the main page

Alternatively, the link could be added to the header of each page, but this requires messing with the CSS which hardcodes the height of the header for some reason.