More likely you just didn’t notice when it was published.
But for me not to have heard of it at all, period, in four years? I was surprised. But not that surprised, which is even more telling.
You'd need something like an index or an archive. Something you can catch up on while skipping what you have seen.
Some discussion then: https://news.ycombinator.com/item?id=26892180
Edit: And to be grudgingly fair to East Germany, even they didn't have their "Deutsche Post der DDR" conduct their own covert ops. Instead they attached the Stasi to the job. Minor difference you might say but a difference nonetheless.
cwmoore•4mo ago