3 ms·

Thanks for the code pointers! Yes, fossil4idea was the plugin I tried to update. I might give it another shot at some point.