
4 years ago in 7edb27b7af6ebff7e35207f7fcf16e0e2bd8884a the option was made hidden. We should just remove the module and use mkRemovedOptionModule.
4 years ago in 7edb27b7af6ebff7e35207f7fcf16e0e2bd8884a the option was made hidden. We should just remove the module and use mkRemovedOptionModule.