Fixes/index improvements from Michael Ernst <mernst@cs.washington.edu>.
Attach a file by drag & drop or click to upload
