mkMappingOption wants to read a setting set in config without passing it every time, so it should be defined in config.