5 ms·That sounds like a good idea for a dev version. Do you want to file a bug?by Yoric 12y agoThat sounds like a good idea for a dev version. Do you want to file a bug?