Clarify documentation, in particular for installing