úÎøn  provisionalDon Stewart <dons@galois.com> &An image size in pixels from 1 to 80. %Classification ratings for gravatars GA smart constructor for the Size type, ensuring it is between 1 and 80 $Return the url of a gravatar for an / email address (a globally recognized avatar). =Construct the url of a gravatar with optional classification 8 ratings, an optional size, and optional default image.       gravatar-0.2Network.GravatarSizeRatingXRPGGsizegravatar gravatarWith