Mhh, seems like the new OS update (1.2009.44-1.203.4) modified this mechanism... any change to hildon.menu now is simply not reflected in real-time, regardless of correctness; a reboot is always required. Bit of a pain, but slightly more bulletproof, I guess (makes it harder to mess up the phone, you always have a chance to rollback changes).