This FIPS module is validated, and has the certificate number [\#4282].
The certificate page includes a link to the Security Policy.
-[the FIPS module manual page]: https://www.openssl.org/docs/man3.0/man7/fips_module.html
+[the FIPS module manual page]: man3.0/man7/fips_module.html
[\#4282]: https://csrc.nist.gov/projects/cryptographic-module-validation-program/certificate/4282