* NEWS: Add notes about notation names and '@', the --trust-model option,