We all know what a coredump is, and it feels more natural to refer to it as a coredump (most code already does), so let's be consistent.