User blog comment:Penguin-Pal/Editing Interface Update - June 9, 2013/@comment-4446753-20130622034721

I just saw some new buttons on the bar, I never knew it adds the history table. Nice update P-P!