Trying to find an old IndieWeb proposal for linking back to the relevant upstream source code file in an open source repository via HTML tag — does anyone remember?