touch up the Linux Docker instructions