Minor changes: favicon, tree links