3 ms·

I took the liberty of posting the link to that comment in Linux Mint blog comments. Hopefully they review that soon.