This reworks the file button in the help browser so that it opens the file
browser on whatever directory we visited last (as given by the current_dir
variable), or the doc directory by default.