That's fine, too, though I really wish we could convince the Postgres people that having that kind of parameter definition directly in the parameter list would be useful. There's a patch that allows it that has apparently been vetoed because Tom Lane doesn't think it's useful.
Thanks for mentioning this idea. A comment such as you suggest would simplify switching over to that style parameter definition if the PG folks change there mind.