(- doc fix) Looks like GitHub now intentionally mangles relative URLs.