It's the "Mean Solar Time[1]" at the Royal Observatory in Greenwich, London, not the legal time observed there.
The legal time switches back and forth between GMT and BST, but the mean solar time doesn't.
[1] https://en.wikipedia.org/wiki/Solar_time#Mean_solar_time