I don't think we should introduce a specially notion of experimentality. What Fint was suggesting was that options are grouped and tagged. Grouping is for the format and labeling for documentation.
To me this seems unnecessary as I can write "opt: experimentalOpt | normalOpt", which can be used both for documentation and format. I'm yet to see an example that would convince me that the duality is needed.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I don't think we should introduce a specially notion of experimentality. What Fint was suggesting was that options are grouped and tagged. Grouping is for the format and labeling for documentation.
To me this seems unnecessary as I can write "opt: experimentalOpt | normalOpt", which can be used both for documentation and format. I'm yet to see an example that would convince me that the duality is needed.
Why?