thinking out loud… The settings file has not changed since 2017. But it looks like it should be used in extrahd.cgi
[root@ipfire ~] # ls -al /var/ipfire/extrahd/settings
-rw-r--r-- 1 nobody nobody 0 Jun 10 2017 /var/ipfire/extrahd/settings
[root@ipfire ~] #