Given the feedback from the training (that a lot of people aren't familiar with HTML), is it worth giving a brief explanation of what HTML is and what it is used for? Ideally the button wouldn't be labeled 'html' in the first place, but given that it is we could help orient non-technical folks at this point.