Я взял пик в их .js-коде, и вот что они используют:
this.page.identifier=window.location.pathname;
this.page.url=window.location.href+"#!"+window.location.pathname;
Таким образом, они фактически остаются на той же странице, но просто меняют URL в адресной строке..