All, For podlings so far, its been easy to decide how to retire them. They've had releases and/or naming completed so we keep the source code around.
HORN has neither a release nor naming. Should we delete the source repos or mark them as read only? John
