Fix github anchor replacement