#!/bin/sh
# DF-3231 run (see README.md for preconditions)
cd "$(dirname "$0")"
n/a (needs induced device I/O error in the header-reload window)