jukiewalsh

It’s a publicly viewable GitHub issue that people can still navigate to or comment on, it’s not like it was scrubbed. It’s surely a PR move to show they’re on top of it but not anything to read into in my opinion.