Infrastructure

Please use https://github.com/fink/fink/issues to submit problem reports and/or issues with the Fink infrastructure (website, documentation, etc).