It now contains Hasp, so the extension should be changed.

These space-indented lines were copied from the web browser's dev
inspector. I forgot to change the whitespace.

Now that it takes two commands to install the program, make it easier
for visitors to copy-paste the commands into their shell by preventing
selection of the '$' prompt character.

This allows us to keep the prompt to indicate that these are shell
commands and still make copy-pasting easier.

As a side note, decided not to add the `brew services` command to the
instructions on the thank-you page because if DomeKey is already
running when you license it, you need to restart it for the license to
take effect.

At small screen widths, the video's height would stay fixed at the pixel
value defined in its `height` attribute. Ensure that when its width
becomes dependent on the window width, the height follows accordingly.

When the screen width gets small enough to clip the video, reduce the
width of the video to the content width.

Couldn't use the same larger-than-content-width layout, at least not
easily, because the percentage would need to be dependent on the window
width, not the width of the video element's container.

Not committing the video files. They're only 3 & 4 megabytes each, but
that still seems a bit too much to keep in version control.

Add the video to the home page and center it in the content area. We
give it a negative margin to center it since it's wider than the
container.

Makes it stand out a bit differently.

It was too blurry.