I’ll try and publish again after the propagation is complete, maybe that’ll nudge github’s web servers