I'm not sure wether it's a bug or a missing feature. Looks like a feature to me, since most players/decoders (all that I've tested, except Adobe Flash/Adobe Media Player) fail at dynamic resolution switching one way or another. Could be a bug since all is left to do for VLC, in the case of MP4/h264,...