u/SomewhereAncient9220

Made this a while ago (still being updated!), and I think it's just about fully working to my liking. It is a userscript so you will have to install tampermonkey or violentmonkey. All it does is it adds a button to various sites making it easier to search that in a book archive. I found it pretty useful myself, so might as well have more people use it.

https://greasyfork.org/en/scripts/553077-search-the-ships

https://preview.redd.it/7vxhvqefaiih1.png?width=1885&format=png&auto=webp&s=11aeeba71c8bd2fc00b4136741f6e36c5ff614f5

I am on cachyos with kde and oftentimes android studio would lag. It mostly happens when scrolling with a bunch of lines of codes highlighted, and when clicking on ui elements. I solved it by adding -Dawt.toolkit.name=WLToolkit to custom vm options and restarting android studio.