Looking again, I think I got caught off by the "." being used as a decimal separ...

		seszett on June 6, 2018 \| parent \| context \| favorite \| on: Microsoft has sunk a data centre in the sea to inv... Looking again, I think I got caught off by the "." being used as a decimal separator in some places.