Faraaz Damji (frazzydee@spymac.com) [050507 06:29]:
Sorry for digging this back out, but I thought that minor edits can't be protected by copyright? If so, wouldn't be possible for a lot of the names to be removed from the list? Also, anonymous users *usually* make minor edits (doesn't change the content, eg. spelling). I understand that those edits wouldn't be marked as such, so someone would have to manually go through the diffs; however, it could end up reducing (or even eliminating!) the problem of showing IPs rather than proper names (the problem is that it doesn't look professional).
The problem with anonymous writers is that they are, er, anonymous. Full author credits in Flyspeck 3 with "and X anonymous contributors" would surely be sufficient good-faith effort that no *sane* judge would accept a claim that a given anon wasn't identified.
- d.