use @paskal’s full name in AUTHORS.txt