Has anyone tried TypeIndex.org’s Font Finder widget? More importantly, has anyone kept it in their Dashboard? If their database was much more complete (more fonts), would this single-function widget with a search field be valuable to any graphic designers here? It seems like it would be more useful if it included functions like their Font Associator, but maybe that’s overkill for a mini-app?