Tickle GitHub into regenerating pages

No-op change