They do not belong to an user-facing documentation, but rather to
separate download/build development pages.

For the same reason, remove the porting notes as well, which are
definitely oriented to developers only.