Get rid of out-of-date section on Docker topology