I started this thread on the Arduino forum: https://forum.arduino.cc/t/library-links-to-wrong-page/1226788