This directory contains downloadable stuff (papers, programs, etc).