tooltip for theme badge, fix #84