@mairin If only I'd get some cookies in return, but no! I'm assuming there's some secret Gnome Spotlight lookalike? But I'm stuck in the nineties with grep, locate and find being my only friends.