This will make it slightly easier because we run only one command
which will walk us through the next steps. It's kind of annoying that
we still need the docs on how to start `ldapvi` properly here though,
and the explanations of all the fields... Maybe that should be in
puppet-boostrap as well?

The idea is that, in the long term, we might not need to bootstrap
LDAP at all, and just keep host metadata in Puppet as the only source
of truth...

turns out there were two broken links!

See: tpo/anti-censorship/gettor-project/gettor#77

This will make sure it will run on every pipeline, but also make
failures clearer.

Turns out we had an HTML syntax error! Imagine that.

Also, that long heading was weird anyways.

push back jenkins retirement deadline, clarify delays okay

See merge request !3

September seemed a bit early to @hiro and @gaba, push it back three
months. We pick December 1st because:

 1. it's still in 2021 so we don't change the roadmap, and
 2. it's a wednesday, so a good time to shutdown a service (ie. not a
 weekend or friday)

We also clarify that we're not fascists: we won't destroy the world if
people haven't managed to respect the deadline.

We drop the time estimate for the migration, because that's actually a
changing number. We were counting from "right now" which obviously
changes every day. ;)