clean_up_hotlist_groups 1433 src/filemanager/hotlist.c             clean_up_hotlist_groups (*profile_keys);
clean_up_hotlist_groups 1502 src/filemanager/hotlist.c         clean_up_hotlist_groups ("Hotlist");