Installing from another Linux distribution as root

[jeltsch]

There’s now a follow-up on this.