by removing the <div class="bug">.

Parts of the command line are still hidden but I don't see how to do
this better. Using '\' to prevent wrapping might be harder to follow for
some people.

No commit message

The basebox currently used by most our branches is now 4 months old,
so every build on Jenkins starts by deleting it… and then recreates
it from scratch. Six months is more in line with the delay between
our major releases these days.

This reverts commit fc1bba10.

This reverts commit 3523c438.

This reverts commit a9509d5f.

This reverts commit 847c669a.