Exactly right, Diego. The release-notes-devel module is an alias thatonly downloads the current leading-edge (F7) material, to make things easier on people who can't download so much at one time.