docs: update ISO filenames, referring to a more recent stable version