Update notes for submitted changes

* webkit: workaround incompatible operand types