I mentioned these earlier. Here’s a behind the scenes look at recent changes to Gmail labels: http://bit.ly/cqhYQ