These are public disfiles on freefall.  They should be periodically
inspected to move the ones from inactive committers, before their
accounts get deleted.

(fwiw, I would be very happy if someone wanted to take over ownership
of this task -- linimon)

Generated by /home/linimon/bin/getpublicdistfiles on Mon Jan 14 11:35:00 UTC 2013.

----------------------------------------------------------------------------------

List of distfiles correctly stored under /home/${USER}/distfiles/ ...

----------------------------------------------------------------------------------

Back in the old days, distfiles instead lived under /home/${USER}/public_html/distfiles/ .
This usage has been deprecated and should go away: