surprised but glad to find that Gmail now minimize labels to the most accessed.