@manton @manton how does this play with - or not - the current Search plugin that @sod put in years ago. ✍️ Reply by email ✴️ Also on Micro.blog Dec 9, 2025 [Permalink]