use html for the hero text on homepage

lib/views.ml

@@ -237,38 +237,6 @@ let viz_not_found =
 
 module Builds = struct
 
-  let data =
-    {|
-# Reproducible OPAM builds
-
-This website offers binary MirageOS unikernels and supplementary OS packages.
-If you want to use our binary packages and setup unikernels, follow
-[these instructions](https://robur.coop/Projects/Reproducible_builds).
-The unikernels are statically linked executables where the execution target is
-independent of the build platform - so even if they're compiled on a FreeBSD
-system they can be run on a Linux or OpenBSD host. Many are executed using a
-[solo5](https://github.com/solo5/solo5) tender.
-The filename suffix of the unikernel binary indicate the expected execution environment:
-- `.hvt`: hardware virtualized - requires `solo5-hvt`
-  ([Linux KVM](https://www.linux-kvm.org/page/Main_Page),
-   [FreeBSD BHyve](https://wiki.freebsd.org/bhyve),
-   [OpenBSD VMM](https://man.openbsd.org/vmm)),
-- `.spt`: sandboxed process - requires `solo5-spt` (Linux with seccomp),
-- `.xen`:  Xen PVH virtual machine (on a Xen or QubesOS host),
-- `.virtio`: any virtio environment (qemu, GCE, KVM, BHyve),
-- `.muen`: on [muen](https://muen.sk).
-
-A persistent link to the latest successful build is available as
-`/job/*jobname*/build/latest/`. Each build can be reproduced with
-[orb](https://github.com/robur-coop/orb/). The builds are scheduled and executed
-daily by [builder](https://github.com/robur-coop/builder/). This web interface is
-[builder-web](https://git.robur.coop/robur/builder-web/). Read further information
-[on our project page](https://robur.coop/Projects/Reproducible_builds). This
-work has been funded by the European Union under the
-[NGI Pointer](https://pointer.ngi.eu) program. Contact team ATrobur.coop if you
-have questions or suggestions.
-|}
-
   let make_header =
     H.([
       div ~a:[a_class ["header container mx-auto px-4 py-8 text-gray-800"]] [