3 ms·

I’m sure it is, but the Linux kernel is freely available already AND it’s much less personal than directly naming someone to use their style