Tagfest 2024: Suggested tag consolidations

More progress on tags.

I’ve opened three new PRs:

I tentatively think I want to close my earlier PR without merging it.

3 Likes