Consequently, I'd be happy if we kept the 3.x series going
indefinitely, or if we bumped up the major version number when it felt
right, or if we dropped the "3." and called the fall release 13.0 or
14.0.

Whatever gets decided, I *do* strongly feel that we collectively
promise to stick to it for at least three years -- and *not* discuss
it further.