I think this address will change if the documentation is regenerated. (And I hope we will eventually set up automatic regeneration after each commit.) Let's refer to GitHub address of the source file, it will never change.