#!/bin/bash -eu
# Nothing to do. It's okay to leave the archive mounted.