migration: skip device ids start with a number
migration: skip device ids start with a number

The code will throw an exception when a xml node starts with a number.
Simply skip them, since they cannot be present anyway. Add a comment
that this is a fixup for a candidate version. There is no need to keep
it forever.

victronenergy/localsettings