Update notes for submitted changes

* extract_swift_flags.py: implement a 'dump' argument