The user plugin for the ghiraldi framework, part of the ghiraldi base set of plugins.