I don't think this change is worth, especially since messages from log.info() or log.warning() may also appear (though we don't use them much).
Imho changing the menu entry wasn't a good move. I would revert it back instead.