Removed index.html; now handled by theme.
Added mailmap.