Yet more Git-ignore updates.