Fluxbox: Fluxbox has rewritten its config file.