From Edwin:
The only question which Nominet have to clarify is whether a "suspended" .co.uk domain can get the rights to the .uk. In other words, if the .co.uk was registered-but-expired on 28 October 2013, did it acquire the rights to the .uk?
My instinct is "yes" since Nominet's V3 is very pro-.co.uk, but I'd like to see confirmation from them before being 100% sure on that point.