Newer version and child theme

Just a hint: if you are using a child theme and formatted the navigation, the upgrade to the newest version will ignore your child theme formats. I had to reload an older version to avoid double work.