Fix #10: Make pts completely quiet when requested by new --quiet option

See #10.