Updated to latest version of dom-text-mapper, which has a workaround for yet another WebKit selection API bug.