You're right, I am, but pretty much every developer will use the browser's built-in dev tools to query the source these days, so the trick worked.