Thank you, BR, for the suggestion! "Do you know GIT? A lot of us (developers) have "stuff on GIT" . You do a deep search through mailings Search for "https://github.com/ <https://github.com/>" Linda