Add history options and reverse-history search