[PATCH 4/4] docs: formatdomain: document 'coredump_format' element