I had to look up ‘html modal’, yeah it sounds like the same thing. I learned web dev back in the xhtml days. Back then those kinds of boxes were only beginning to see popular usage, and there was no official tag for making them.