Okay, I think this is good to merge for now, although it seems that I could use this functionality more generally to find files of any extension in the profile, so perhaps the tool is not properly named?