cross-posted from: https://dmv.social/post/1192958

While they're a very, very, very, very small search engine, it looks like someone requested a Lemmy search lens and was finally implemented today.