Looks like @tiphune hasn't received any replies!