removed WEBCL html introp extension because the name changed to html sharing