2 ms·You should file an issue on github at least. The developer is responsive and friendly.by logn 12y agoYou should file an issue on github at least. The developer is responsive and friendly.