BBC: Guildford pub bomb police took action to keep files closed

https://www.bbc.co.uk/news/uk-england-surrey-55131476