Restore /tools

Do you really want to restore this page to its revision from December 1 at 10:34 pm?