Update notes for submitted changes

* Permit overriding the mysql InnoDB pool size.