Scroll down until you get to the first line “clone” in it, the docker_manager one.
type control-K to kill (cut) the docker manager line, then control-u twice to paste it back in twice. (Spacing is very important, so copying and editing a line that you know works is a good precaution).
Then, on the second line, delete the docker_manager URL and add the URL for the solved plugin.
Then control-X to exit and ./launcher rebuild app.