Use `Dir[` in preference to `Pathname.glob`; can the filenames be specified more specifically here?