Small fixes: CDNs, TeX ...