I thought that resizing was really neat as well, and the videos are such a pleasure to watch. Lamport may be my favorite lecturer I never had...