[andreareina]

I don't remember what my problems are with GitHub search, only that it almost never finds what I'm looking for. I've had to resort to cloning the repo and grepping for what I need more times than I can count.