Whose idea was it to edit HTML and markdown in vi?