it's policy you need to create a move log in order to move pages I know this because I've been told that exact thing before and you will not do things improperly just because you are to impatient to wait for an admin to delete the lava bubble redirect
It's better to delete the redirect and move the page as doing otherwise will result in a loss of the edit history - well actually, the Lava Bubble/Podoboo case was going to result in a loss of history no matter, but it's better to preserve the one of the page that's being moved.
I've been told that exact thing before and you will not do things improperly