tree 184c4c30ff9531b2eb124b3c7a14a5f6cdadcf01
parent 1a3fb0b1aece9434de8ee9cbef7d7c544b0a71c3
author Adrià Vilanova Martínez <me@avm99963.com> 1642426771 +0100
committer Adrià Vilanova Martínez <me@avm99963.com> 1642427083 +0100

Minor fixes to outdated references in docs

There were some references to the GitHub issue tracker which is no
longer used, and a reference to a file which no longer existed. Also, a
broken link has been fixed.

Change-Id: Iad996dba88b8ce6fef95fdc57ba03696b17bef93