Renamed/moved setting showtimedetails, ref #443