Wikipedia:WikiProject Editor Retention/Editor of the Week/Hall of Fame/2018-07-15