This option is available in the Settings panel and is not likely to
change often, so we can use the free space there for other means.