Now support closing tag upon typing of </

+ various bug fixes on tag discovery.