[tor-commits] [orbot/master] Issue #309: Hide refresh option menu item instead of disable, because Android doesn't visualize that adequately.