The origins of the blink HTML element