-fwrite-ide-info/-fvalidate-ide-info not listed in User's Guide flag reference

-fwrite-ide-info and -fvalidate-ide-info are described in https://downloads.haskell.org/~ghc/8.10.1/docs/html/users_guide/separate_compilation.html#options-related-to-extended-interface-files. However, they are not listed in the flag reference (https://downloads.haskell.org/~ghc/8.10.1/docs/html/users_guide/flags.html) for some reason. Why not?