2 patches for repository http://darcs.net/screened:
patch 808d423dca4aebe871de0f66b7e8c8529c761029
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Dec 9 08:48:40 CET 2022
* move prefsDir and prefsDirPath to D.R.Paths
...and also consequently use them in D.R.Prefs and D.UI.Cs.Help.
patch eb696c56407d65a70dc6258fe3b39c4e4a2c5aa7
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Dec 9 22:48:31 CET 2022
* make D.R.Prefs and its API a bit more type safe