Sphinx generates a redundant html-file 'source.html'. Each internal href,
derived from a link to a class/method/attribute, links source.html and
not the corresponding file (e.g. EV3.html when referencing EV3.connect()).
The postprocessing script now fixes these wrong links.