And a last attempt at fixing broken root-relative URLs in github.io.