I suggested this when the Great Github Move happened. I recall agreement that it was a good idea. Either it got forgotten, is yet to be done but planned, or was decided not to be done. This issue is for that.