Update notes for submitted changes

* BasicSmsReceiver: AST translations