[editorial] Remove bit about extension specifications.