TOC missing after using browsers back button

[david (David Taylor)]

I think this issue is likely resolved by the DiscoTOC overhaul @awesomerobot has recently merged. Would you mind confirming @Moin?