Re:Lots and lots of implications (Score 2)

Yes, but that work is minor compared to fixing Gecko's bloated code base. I'm sure Adobe chose KHTML (That is the real name WebKit) for the same reasons Apple did when building Safari: it's clean, it's fast, and it's standards compliant. I believe that KHTML (as Konqueror on KDE, and Safari on Mac) is the only engine currently passing the ACID2 compliance test. The guys on the KDE team have done an excellent job. In addition, Apple has already shown that it's not a big deal to port KHTML.