Docker doc: simpler contents menu