(no bug) move prod install docs into main installation doc and simplify