DEV: Drop user_options.disable_jump_reply column (PR #13646)

24ef4f7b removed the use of this column in 2019

GitHub