4 ms·This was a mistake in the article. Sorry about that, and I've fixed it now!by domenicd 1y agoThis was a mistake in the article. Sorry about that, and I've fixed it now!