Tentative: index.html refers to ggvis.js, but it's not copied in view_static(). Not needed?