Fix settings URL: now '/' instead of '/settings'

2023-12-09, Edouard Tisserant