4 ms·

Please file bugs! It is sometimes surprising what developers don't notice. At most you'll file a duplicate. One bug per issue is usually best.