If something is no longer used, it is better to delete it if you doubt it will be used.  Over time the parameter had become misnamed, and was now redundant.