Research shows pushState is over-kill for this use case; window.location works just fine.