Grubbling Update

It’s time to check whether you’ve got your keys and your phone and your
purse or wallet. This is done by grubbling in your pockets. Grubbling
is like groping, except less organised. It is a verb that usually
refers to pockets, but can also be used for feeling around in desk
drawers that are filled with nicknacks and whatnot.
Merge branch 'master' into gh-pages