Docker doc: tl;dr added