Closed chucker closed 6 months ago
See #45
Also obsoleted by #68?
Yes. Closing since #68 is likely to be merged.
See #45