3 ms·

Perhaps you should have licensed your comment under CC BY. However, note that it would not be GPL compatible.