Feedback 2017r1.1: adding comments

There’s a new version of Feedback available today which should correct this issue.

This is fixed in Feedback 2017r1.2 because I can now add public comments. Thanks Greg!