link to Edsko de Vries's talk
corrected twitter script