2 ms·

Indeed, I had not considered that. I may have been used to people saying that links shouldn't be posted twice. The extra context is in fact nice!