Issue #114.  Add of_get_option back.  Accidental delete.
Issue #119. Make hidden option demo work again.
Issue #119. Make hidden option demo work again.