The content in RFC100 aims at defining the changes within CometBFT needed to support vote extensions, as well as information on how to upgrade from earlier versions of ABCI to ABCI 2.0. Part of that text should be contained in the abci specification.