2023-08-21 UTC
# 
Soni [snarfed]: sadly web search (or anything search) is way outside our realm of experience(? we forget the right phrase)... (grep doesn't count. we mean it kinda does but... not really tbh. it's not an appropriate substitute for real search.)