WIP #575: actually get !! and // to work in pronterface