Delete history
Thanks, everyone - my little problem is solved. Those pesky leftovers that should have been deleted are now gone. When I close and then re-open Firefox they don't return. I think it was simply highlight-and-delete which did it - but I'm not sure as I tried a couple of suggestions.