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

many thanks !