They are still using #, as far as I can tell (but maybe we are in different versions?). For me, their links are for different pages, but they intercept my onclick and instead change the click on the Ajax request. Maybe this is to make clean URLs when copying and / or make it work without JS?
source share