Post #1971027

@Elliptickiwi @light Note: _publicly_ factored. Presumably the first secret factorization will be earlier, but it's hard to be sure how much earlier, so secret doesn't work as a topic of a bet.