Here is what I have staged for commit.  I ended up simplifying the patch a
bit.  In particular, I thought better of the question mark business.  It
looks like we ordinarily just skip values that can't be found, and an empty
search_path will appear as "" (two double-quotes), so you can still
distinguish empty versus not-available.
-- 
nathan