Metals 2.0.0 added a lot of new option, some of them are unused and most undocumented. We should: 1. Remove any that are not used 2. Merge any that have the same semantics 3. Make sure that the options are ok in UserConfiguration or do we need to do something like with https://github.com/scalameta/metals/pull/8352 4. Create a guide for users to make it easy for them to experiment.
Metals 2.0.0 added a lot of new option, some of them are unused and most undocumented.
We should: