Wikipedia introduction cleanup from January 2023