Insignificant change

Hopefully should publish the page after repo rename.