Hmm, yes that looks like a bug. I do think that it should stay paused if it was paused before. Your post is very informative but I can't see what you really want. I start with fixing the pause bug. And when you have some more stuff to the menu just give it to me and I add it, no need for a patch if you don't want.