Dear <div><br></div><div>Wouldn't be a good practice of us to edit collaboratively and openly such a list either on wikipedia or on github, 2 different but convenient system for collaborative editing with full track records (aka the system logs who add waht and when) ?</div><div><br></div><div>Today, in many circumstances, wikipedia is de facto used as a reference. Let's use it that way and make sure sor such a purpose it is a good reference. </div><div><br></div><div>Wikipedia allows for easy and convenient export in many formats, eg. latex that would be appropriate from time to time to a "proper" publication on some other place.</div><div><br></div><div>Regards,</div><div><br></div><div>Nicolas</div><div><blockquote type="cite"><div class="plaintext" style="white-space: pre-wrap;">
</div></blockquote></div>