On 9/7/2013 11:39 AM, Paolo Invernizzi wrote: > No pun intended, but having it as _mandatory_ would be a little to much for > people like me that don't like this proposal at all. There's no way it would be mandatory.