Update master copy of link to s2n-bignum's SOUNDNESS doc

Auto-regenerate other files.

Signed-off-by: Rod Chapman <rodchap@amazon.com>

Author: rod-chapman

BIBLIOGRAPHY.md

@@ -438,7 +438,7 @@ source code and documentation.
 * s2n-bignum soundness documentation
 * Author(s):
   - Amazon Web Services
-* URL: https://github.com/awslabs/s2n-bignum/blob/main/doc/s2n_bignum_soundness.md
+* URL: https://github.com/awslabs/s2n-bignum/blob/main/SOUNDNESS.md
 * Referenced from:
   - [SOUNDNESS.md](SOUNDNESS.md)
 

BIBLIOGRAPHY.yml

@@ -33,7 +33,7 @@
 - id: s2n-bignum-soundness
   name: s2n-bignum soundness documentation
   author: Amazon Web Services
-  url: https://github.com/awslabs/s2n-bignum/blob/main/doc/s2n_bignum_soundness.md
+  url: https://github.com/awslabs/s2n-bignum/blob/main/SOUNDNESS.md
 
 - id: HOL-Light
   name: HOL-Light Theorem Prover

SOUNDNESS.md

@@ -539,5 +539,5 @@ guarantee for the C proofs is therefore fundamentally weaker than for the assemb
 [^HOL-Light]: John Harrison: HOL-Light Theorem Prover, [https://hol-light.github.io/](https://hol-light.github.io/)
 [^HOLTrace]: Daniel J. Bernstein: HOLTrace: A collection of tools for processing traces of a HOL Light session, [https://holtrace.cr.yp.to/](https://holtrace.cr.yp.to/)
 [^s2n-bignum]: Amazon Web Services: s2n-bignum: Library of formally assembly kernels verified in HOL-Light, [https://github.com/awslabs/s2n-bignum/](https://github.com/awslabs/s2n-bignum/)
-[^s2n-bignum-soundness]: Amazon Web Services: s2n-bignum soundness documentation, [https://github.com/awslabs/s2n-bignum/blob/main/doc/s2n_bignum_soundness.md](https://github.com/awslabs/s2n-bignum/blob/main/doc/s2n_bignum_soundness.md)
+[^s2n-bignum-soundness]: Amazon Web Services: s2n-bignum soundness documentation, [https://github.com/awslabs/s2n-bignum/blob/main/SOUNDNESS.md](https://github.com/awslabs/s2n-bignum/blob/main/SOUNDNESS.md)
 [^wycheproof]: Community Cryptography Specification Project: Project Wycheproof, [https://github.com/C2SP/wycheproof](https://github.com/C2SP/wycheproof)