Add setupDecompWorkspace instructions.