A toolkit for editing multiple filenames at once