Retire/rename feedback category for previous default theme?

[ToddZ]

@Moin

Quite the opposite: it’s not shared publicly but is explicitly for this forum.

Good point - I just saw potential for confusion as the description was something about “our new default theme”. I didn’t mean to introduce more confusion.