32c4d090ab
This resolves confusion for at least 10 people. Suggested by: Bruce M. Simpson <bms@spc.org> Approved by: des (mentor)