Test project Space for HTML pages
Translation of "A Formal Approach to Secure Speculation" to Isabelle.
localise Golang image for building
Localise bitnam/kubectl:latest image
