Update HACL (CPython) README

Author: picnixz

Modules/_hacl/README.md

@@ -8,20 +8,20 @@ safety, functional correctness, and secret independence.
 
 ## Updating HACL*
 
-Use the `refresh.sh` script in this directory to pull in a new upstream code
-version.  The upstream git hash used for the most recent code pull is recorded
-in the script.  Modify the script as needed to bring in more if changes are
-needed based on upstream code refactoring.
+Use the [refresh.sh](refresh.sh) script in this directory to pull in a new
+upstream code version.  The upstream git hash used for the most recent code
+pull is recorded in the script.  Modify the script as needed to bring in more
+if changes are needed based on upstream code refactoring.
 
 Never manually edit HACL\* files. Always add transformation shell code to the
 `refresh.sh` script to perform any necessary edits. If there are serious code
 changes needed, work with the upstream repository.
 
 ## Local files
 
-1. `./include/python_hacl_namespaces.h`
-1. `./README.md`
-1. `./refresh.sh`
+* [python_hacl_namespaces.h](python_hacl_namespaces.h)
+* [README.md](README.md)
+* [refresh.sh](refresh.sh)
 
 ## ACKS