add installation option "proposal_pager_inline"