It sounds to me like nothing bad whatsoever will come from leaving it out.
We lose out on some future flexibility to add new methods, which might amount to nothing, or might be a big deal.
The main thing we gain immediately is that we have a place to hang specification, such as the refined specification for `equals()`, or general constraints on record-ness, where there is at least some chance users will see it.
