Open josharmenta opened 1 year ago
Thanks for letting me know, though I'm not too bothered. Pretty much all of the documentation pages haven't been updated, so the old names will remain until they are.
I... guess I could do another mass-update thing. Maybe I'll do that some day.
GH Pages is still attributed to your deadname, just FYI.