Category:Wikipedia introduction cleanup from June 2020