Thanks for posting those - the webdev tools look very useful to me.

Re PDFs: I always use Adobe Reader for them - the problem with other PDF viewers is that sooner or later you come across a PDF that they can't handle. What's the problem with Adobe? It's free and it works!

Anahata