lib/sql_io.py: cleanup_table(): trim(): documented that this also converts character varying fields to text