Gravar-mail: Antiferromagnetism and superconductivity in the half-Heusler semimetal HoPdBi