IE9 does not support push/pop state. Will this degrade in a useful way?