Any chance to up the files again? I can host them in my Box account. That way they’ll be up forever (at least as long as I live ;-))