Looks like @cryptorandom hasn't posted yet!