Update notes for submitted changes

* Use stdout in extract-docs.awk