I use inputting plus for this. Works fine for me https://play.google.com/store/apps/details?id=com.catchingnow.undo
sevenism
joined 3 years ago
I use inputting plus for this. Works fine for me https://play.google.com/store/apps/details?id=com.catchingnow.undo
I found this an interesting read https://www.marginalia.nu/log/63-marginalia-crawler/ There's lots of posts about the development of his search engine