stallman-richard isn't defined yet


Updates