fix typo: capitalize Docker in section heading#13

ozzy35410 wants to merge 1 commit intooptimism-java:mainoptimism-java/optimism-java.github.io:mainfrom

ozzy35410:patch-5ozzy35410/optimism-java.github.io:patch-5Copy head branch name to clipboard