the github page should: * allow reading the spec online right from that page (maybe the markdown version and optionally a link to the PDF)? * have a link to the actual github repo * this should somehow be auto-generated via CI (Github Actions), just like currently done with the (pre-)releases