06-17-2023, 11:51 AM
User interface-wise that would be quite some effort for something that is rarely needed. We used to have a config/text file for that, but nowadays, apps cannot read files anymore from any directory. We need to give this some more thought.