doc: Comments on comments on proposed instruction changes