6 ms·This comment is correct. I made that change ages ago. Amused it's still there.by dormando 5y agoThis comment is correct. I made that change ages ago. Amused it's still there.