Lost all settings after kodi crashed due to full home directory

The settings in /storage/.kodi/userdata/guisettings.xml get reset to their defaults after Kodi 17.1 froze due to /storage (~/) was full, and I rebooted the Rpi.

Rpi3
(128 GB flash)
LibreElec 8.0.1

I observed the same issue November last year (Kodi 16). (This time I was prepared by having the add-on ‘Backup’ in use, taking a weekly backup.)

Is it known that a full home-directory can cause loosing all non-default guisettings.xml settings?