grok doc tweaks

And also a little bit on the filter base, if it's helpful... If not, just drop the 9c35cb3 and f3cc5ad commits.