Yep, I did @ 0.10.0.5. Of cource I can add it manually, but then I have to modify theme files, which is not possible on a multisite installation where several sites use the same theme. Additionally there are no entries in error.log which could help tracking the problem down.
Uh, plus: the “got updated” message never disappeares.
Hmm. Okay, understood – it’s logic and makes sense.
What would be the right place to scan for shorttags and / or keywords in my content?