FreeBSD: Changing ISO filenames

People who collect ISO images from more than just the FreeBSD Project have been mentioning it would be nice if "FreeBSD" was part of the filenames for a while now. I just committed a change to head that will add "FreeBSD-" to the beginning of the filenames. So for example

9.0-RELEASE-amd64-dvd1.iso

becomes

FreeBSD-9.0-RELEASE-amd64-dvd1.iso

(more...)