a bookmarklet that shows HTML tags inline