Huh, I don’t recall reading this paper before, but it’s terrific! I hadn’t previously seen it laid out as clearly as this, but yes, “faking” the design doc is exactly what happens in practice, and it’s a good thing! Since we want design docs that are useful now, not just obsolete historical artifacts.