We should add a link to this discourse here:
?
I have a PR open. It’s linked to from enough other places that I’m not worried about it getting lost, and links are starting to show up organically in places. Probably not a huge rush, and it’ll happen when it happens.
Thanks for noticing it!