The "Preview" in the Github web app Markdown editor produces some anchor links with two consecutive minus characters in them, whereas on the final output website all anchor links have uniformly at maximum only one minus (which I deem better anyhow)
Corrected acordingly, on the next push to the live website the internal jumplinks should work too then.