This is just a blogpost, rather than a major announcement (FLT proof was closer to the latter than the former)