re: #192 wrenchwench
These things we used to have that we don’t have any more.
What did they do? Rotate?