Fixes #3168: clarify server install section