That's why I think the options should be brought back, so that for all
users that used & relied on icons, nothing is broken (or they can fix it
via options in their Xsettings manager/settings.ini).
They should also be marked deprecated so it is known they shouldn't be
used/relied upon anymore. De-connecting them from Xsettings should only
happen eventually, not now.