OP probably saw DJBs tweet https://twitter.com/hashbreaker/status/1139008213570007040