My favorite, from the replies: "If you ran the command earlier, hit C-r for a reverse history search and type option25 (in this case). The line will be display

My favorite, from the replies: "If you ran the command earlier, hit C-r for a reverse history search and type option25 (in this case). The line will be displayed. Hit TAB to start editing at this point."