Special:PageHistory/Automated proof checking