They just made another edit and removed the line.
Here's the edit history going all the way back to March:
- 4/1 https://www.diffchecker.com/dCuVSMnp/
- 7/1 https://www.diffchecker.com/Zny4Rjqw/
- 8/7 https://www.diffchecker.com/ER0RHSdb/
- 8/8 https://www.diffchecker.com/RLiqgAaA/