Undid the named entity
Do not mark <!DOCTYPE ...> as error. Regard that html is case-insensitive for detection of void-tags.
Section Changes.
New library.
no summary available
Tools > Recent Commands submenu.