[conspire] Correction

[Nick Moffitt]

On 25Mar2020 04:26pm (+0000), paulz at ieee.org wrote:
>  While we are correcting math misconceptions, the word "decimate" has been widely used in recent years and the original meaning greatly distorted.   Decimate has the same root word as "decimal".  
> 
> Decimation was a draconian punishment of a unit in the Roman army.  1 out of 10 solders in the unit was executed.   Details at: https://en.wikipedia.org/wiki/Decimation_(Roman_army)

I forget who originally said it, but it was certainly someone very wise:

	"Does the English language really *need* a word meaning 'destroy one-tenth of'?"