Looks like @pindol hasn't received any replies!