Looks like @heterostrophy hasn't received any replies!