4 ms·

Yes...sadly, the code highlighting plugin I'm using is not very good. I'll try to find a better one: thanks for the feedback.