Removed some lingering deprecated code which was in comments.
This code is always available in the repository history, no
need to keep it in source files of current versions.