Style conventions, copyright and AUTHORS.