Remove my older entry for CVE-2020-1931. The subequent entry by zeising@ is better.
Whitespace adjustment.