favicon and doc tweaks