One nitpick: Royal Mail and Post Office are two separate companies with independent boards. Though as a nitpick of your nitpick, they weren't truly independent

One nitpick: Royal Mail and Post Office are two separate companies with independent boards. Though as a nitpick of your nitpick, they weren't truly independent until the relevant provisions of the Postal Services Act 2011 came into effect on 1 April 2012. What we know today as the "Post Office" and "Royal Mail" had a long history before that.