The solution for now is to disable indexing by default. It has not been enabled in previous releases, and we can address it in kubuntu-default-settings in a way that users who currently have it enabled will not lose their settings.
The underlying issue of virtuoso not having a low enough priority still needs to be addressed, but I'm not as hopeful for an SRU for that bit.
The solution for now is to disable indexing by default. It has not been enabled in previous releases, and we can address it in kubuntu- default- settings in a way that users who currently have it enabled will not lose their settings.
The underlying issue of virtuoso not having a low enough priority still needs to be addressed, but I'm not as hopeful for an SRU for that bit.