Broken links in the "Edit on Github" tab

[Dyex719]

There are several broken links in the "Edit on Github" tab at the top of the webpage in following sections:
http://brian2.readthedocs.io/en/stable/introduction/install.html
http://brian2.readthedocs.io/en/stable/index.html
http://brian2.readthedocs.io/en/stable/resources/tutorials/index.html
http://brian2.readthedocs.io/en/stable/examples/index.html
http://brian2.readthedocs.io/en/stable/introduction/support.html

[Dyex719]

I would open a PR, but the html files aren't available here..

[mstimberg]

Hi, thanks for the report. These HTML files are generated by the readthedocs, the broken links are a known issue: readthedocs/readthedocs.org#1820
It seems to have been fixed recently (readthedocs/readthedocs.org#3302), so it will probably work for the stable version as soon as we do a new release. The version from master (i.e. "latest" on readthedocs) already seems to be fine, see e.g. http://brian2.readthedocs.io/en/latest/introduction/install.html

[mstimberg]

This has been fixed in readthedocs now.