Make documentation more grepable

[ci skip]