Issue #114.  Add of_get_option back.  Accidental delete.