what's your incentive to come back to /dev/null?
Commit
7a47247
Honestly, I check people repos.
In your case, I was very interesting on chatting about what you are doing with TLA+ and some ideas for things we could apply to our own OSS/MIT project.
But I'm not the normal, I guess....
commit 7a47247