a few more KaOS renames