Looks like @laskar hasn't received any replies!