3 ms·

I read somewhere on HN yesterday that David still had a 25% share, though I can't find the link so no citation unfortunately.