New setting: `history_aware_focus`