Add workaround instructions for run-inside-docker troubles.