I did install Deprecated_ServerBehaviorsPanel_Support.zxp using their extension manager. In fact, today, I removed and reinstalled, with the same result.
Is it possible that I installed an incorrect version? the date modified on the one I downloaded (from a link on this board) is Feb 19 2014. Is there a newer one, possibly?