Thanks for your reply.
It's nice that there's going to be one simple theme without Tweak - I'll try that out and see if I like it - but, as I said, it would be best if people could choose between themes freely, and choose for themselves whether or not to have that annoying bit of bother at the top of the screen. If people find Tweak amusing, they can opt in: if they find it boring or annoying, we should be able to opt out.
It's nice that there's going to be one simple theme without Tweak - I'll try that out and see if I like it - but, as I said, it would be best if people could choose between themes freely, and choose for themselves whether or not to have that annoying bit of bother at the top of the screen. If people find Tweak amusing, they can opt in: if they find it boring or annoying, we should be able to opt out.