clean_up_hotlist_groups 1439 src/filemanager/hotlist.c             clean_up_hotlist_groups (*profile_keys);
clean_up_hotlist_groups 1508 src/filemanager/hotlist.c         clean_up_hotlist_groups ("Hotlist");