[mrjbq7]

Although it feels likes a one programmer effort, there have been a few of us contributing consistently over the years:

https://github.com/slavapestov/factor/graphs/contributors

[agumonkey]

Thanks for showing me this, I was greatly misguided.