Got a lot of extensions in your LibreOffice installation? In our next major release – LibreOffice 7.4, due in a few weeks – you can now search quickly. Thanks to Samuel Mehrbrodt at Allotropia for adding this feature! https://wiki.documentfoundation.org/ReleaseNotes/7.4#GUI