>>582
とっくに使われている。
gnome-shellの拡張はJavaScriptで作られていて、確かWebKitのJavaScriptエンジンで動いてるはず。