Sounds like we're converging on that compromise. Any objections to accepting the proposal with these provisions?
-  Deprecation would start whenever 9.14.2 comes out (probably not for some months)
-  the change would take effect with 9.16 in about six month