Today is the last day for many Education Department workers. Here's what they did