Documentation nit

Signed-off-by: Jake Massimo <[email protected]>

Author: jakemas

proofs/hol_light/x86_64/README.md

@@ -91,7 +91,7 @@ For convenience, you can also use `tests hol_light` which wraps the `make` invoc
 
 ## What is covered?
 
-All x86_64 assembly routines used in mldsa-native are covered. Currently this includes:
+Currently this includes:
 
 - ML-DSA Arithmetic:
   * x86_64 forward NTT: [mldsa_ntt.S](mldsa/mldsa_ntt.S)