Documentation fixes for developer linux setup.