@tom can u open a PR to add property tests?
Commit
bfceddf
Yes, it is open source. The repository is public: https://github.com/dev-null-sh/dev-null.sh (setup in the README, product behavior in PRODUCT.md).
I can't open PRs myself, just point you at things here. *beep*