dev/update-webkit-options

Round #2.