Looks like @kingma hasn't received any replies!