I forgot to vote above ;-). I'd go for 3) as I'm all for documentation. 
Anything that might cause anyone not to write it is something I'm against. I'd 
be very surprised if anyone fluent enough in English to read the docs would 
have any problem parsing the differences between the two. 

Reply via email to