<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px#ccc solid;padding-left:1ex"><p dir="ltr">What about pg_size_unpretty()? </blockquote></div>I was
goingto suggest pg_size_ugly(), but unpretty does emphasize the inverse (rather than opposite) nature of the
function.</div><divclass="gmail_extra"><br /></div></div>