Release note 11.07.16

Documentation update: Tool tips and tricks

Check out our new pages on tips and tricks for tools. These pages go over making files available in your tool’s working directory, setting the default value for an input port, and mounting a USB drive in a Docker container.