Built in 1852 and substantially remodelled in 2012, Kings Cross is the UK’s ninth busiest station, with nearly 34 million uses in 2017-8. It was…