Brackets Extension for insertion of Special HTML Characters