Is the checkpointing mechanism he implies actually present in bitcoin? Not clear to me if it's a rhetorical device or if the bitcoin developers are actually upd

Is the checkpointing mechanism he implies actually present in bitcoin? Not clear to me if it's a rhetorical device or if the bitcoin developers are actually updating a last-good-checksum variable in the source from time to time.