@ToddTrimble The feature request is 9 months old, so it definitely can wait a few days longer.

I'll simply wait a bit. And maybe sometimes during the next week I can try to ping another moderator, if I hear nothing until then.

As I've mentioned, it's an issue which cannot really go further without mods. But it's definitely nothing urgent. (Unless I've missed something, you are the mod who talked int this room most recently, which is why I tried to ping you first.)