No, I don't know what that is (or if it's a problem). Please file a separate report if so. Anyway, I uploaded the fix some days ago but forgot to close this bug. Done now.
No, I don't know what that is (or if it's a problem). Please file a separate report if so. Anyway, I uploaded the fix some days ago but forgot to close this bug. Done now.