4 ms·

Thanks for the pointers :-) I knew about Linus and RMS not getting along but didn't about ESR and RMS rivalry :-)