On Thu, Jul 31, 2014 at 12:52 PM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
>> Maybe "abbreviated", "abridged", "minified"?
>
> Yeah, something like that would work for me. I like abbreviated; that
> seems very descriptive.
Abbreviated it is.
--
Peter Geoghegan