The one I suggested doesn’t include everything, just the content.
I don’t think Google actually state whether they include it all or not. Again, your best bet is to test with one specific tool. Given that the results are top 10, they must be ok in Google’s eyes!
This link may or may not shed some light: http://groups.google.com/group/Google_Webmaster_Help/search?group=Google_Webmaster_Help&q=keyword+density&qt_g=Search+this+group