Looks like @gama hasn't received any replies!