Faraaz Damji (frazzydee(a)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.