Conflicts:
	wiki/src/install/debian.de.po
	wiki/src/install/debian.fa.po
	wiki/src/install/debian.fr.po
	wiki/src/install/debian.it.po
	wiki/src/install/debian.pt.po

Conflicts:
	wiki/src/doc/about.index.de.po
	wiki/src/install/inc/overview.it.po
	wiki/src/install/inc/stylesheets/dave.css

No commit message

refs: #10921

"the `tails` repository" terminology is not commonly used.

For "Code" work, we don't wait until code is ready for review to indicate that
the ticket is "In Progress".

For non-code work, the "if is not code" phrasing was broken.

AFAIK we have no formally defined "Contributor" concept/role.

Links point to page names, and those don't end with a slash. A link with
a trailing slash may currently work but it's not guaranteed to keep working.

This reverts commit 4f0ce666.

Such auto-generated anchors will change and the link will be broken.

Closes: #10719

For some reason, the banner was not cut out anymore in this branch.

The simplification in e69f7ed5 introduced a glitch on the Back button, so
let's take solve this by further simplifying the specific code for this
button.

It's very tiny. We might replace it in the future but that will do for
now.

jQuery is super easy to write. Some of us are able to write Vanilla JS
equivalent that would make our pages faster to load but let's not block
on this extra work.

This reverts commit d8baf105.

Donating is a linear process so it makes sense to stay in the same tab.
Also, /donate has very little way out (external links) so leaving people
there is not useful either.

Let's keep the full version in the Git checkout for some times, just in
case it might be useful to use in some circumstances (for debugging for
example).

Conflicts:
	wiki/src/doc/about.index.de.po
	wiki/src/install/debian.it.po
	wiki/src/install/inc/overview.it.po
	wiki/src/install/inc/stylesheets/dave.css
	wiki/src/install/inc/stylesheets/steps.css

Conflicts:
	wiki/src/install/debian.it.po
	wiki/src/install/inc/overview.it.po