Ditto: should this log file really be checked in?