AUTHORS: Add noptrix.