the following are mistake-riddled, content-free PRs that thrash commit history for no sensible reason. the contributor who opened them has already done enough damage to the project: these should be closed #1140 #1156 #1158 #1159 #1160 #1168 #1170 #1171 #1185 #1186 #1191
