Some manual pages contain references to firmware files for use in free drivers. They do not specifically mention that the firmware is non-free, but rather discuss compile/usage options, etc. This information would also be valid for a free version of the firmware, should one be created.
To meet the GNU FSDG, does this information still need to be removed?