Misc JS cleanup.
More push state tweaks.