see https://github.com/formalsec/smtml/pull/593#issuecomment-4222925053
see #593 (comment)