[ ATP pragma ] Updated documentation