Wikipedia:WikiProject Editor Retention/Editor of the Week/Hall of Fame/2020-07-12