that submission is from a different source (itsecurityguru.org) so this one may have different details.
There's another version here: https://news.ycombinator.com/item?id=6896127
The real story on the PrivateSky takedown (certivox.com)
GCHQ Forced Secure Email Service PrivateSky to Shut Down (ibtimes.co.uk)