clean_up_hotlist_groups 1432 src/filemanager/hotlist.c             clean_up_hotlist_groups (*profile_keys);
clean_up_hotlist_groups 1501 src/filemanager/hotlist.c         clean_up_hotlist_groups ("Hotlist");