Fix user Docker documentation, fill in some blanks