Maybe it was scraped off of a PDF? ;P In all seriousness, though: it doesn't look like it was cut off; I think the final cd is just to return the docker builde

Maybe it was scraped off of a PDF? ;P In all seriousness, though: it doesn't look like it was cut off; I think the final cd is just to return the docker builder thingee to the home directory? The file was already built and installed by that built.