#706477 installation-reports: The "discard" mount option is not listed in the mount options menu