Re: [math-fun] Julian's tympanohedron--publication at last