Many users probably just want the simple apt approach for RPi, or alternatively some other precomiled solution, so let installation.md focus on them and put the build instructions in a separate building.md.