This is sort of tangential to coding, but programmers often do \"view source\" on their own pages and on others\' pages. I learned that when you do the normal View Source in
If you install the web developer toolbar extension, there's an option under "View Source" called "View Generated Source" which will show you the current source of the page, including any DOM changes you may have made.