Scratchpad — reminding myself of the steps needed to remove the pulley and key in order to drop the blade hub out of the mower.  Really boring, don’t read any further..

Tips:

To just remove the pulley (say, to tighten the silver bolts underneath) just loosen the grub screw that locks the assembly to the key.  The whole pulley assembly can then be lifted off without having to break the pulley away from the hub.

Hmm…  Might work for dropping the blade-hub out too.   That would save a lot of these steps.