issue #23243: remove unused old option