More work on installation documentation