Arm-coverage gone

After conversation with Rivet in IRC, this is probably the best
solution.  Done.