Changing the Activities Button in GNOME Shell 3.2

This post describes a number of ways to modify the GNOME 3.2 Shell Activities Button by means of a GNOME Shell extension. Four working examples are provided.