Update comment for "build docs" user
Update RestTools installation set-up