Fixed ask_reopen_page command prompt and changed F5 binding to use this instead of the non-prompting version.