bennn/bensf — pull request #1 by bennn (2014-10-23 19:46:01+00:00)
Title: Revisions 10.23

Almost everything from Matthias's on-paper comments