docs: update ISO filenames, referring to a more recent stable version
[grml2usb.git] / zsh /
drwxr-xr-x   ..
-rw-r--r-- 1854 _grml2usb