Actually I read this wrong. We decided on pushState deliberately, since it’s essentially a form submission, and so a history entry.

That said, one of our folks suggested same so I think from a UX perspective, we could go either way. It doesn’t _feel_ like a form submission, one could argue.