That’s what he called himself, wasn’t it?
if my name was David, and I preferred Dave, I’d get quite ticked off either way someone relentlessly referring to me as David
this is of course ignoring the fact that Jaco is dead and thus unlikely to
express an opinion through conventional channels