Stop using tails-documentation
Since !1341 (merged), we don't need tails-documentation
anymore. It's just legacy.
This issue tracks its removal from every use case we have until we can actually remove it altogether.
A good reason to do this is to avoid using tails-documentation
more often than it is right now.
Edited by boyska