For now, use polymer.js instead of platform.js. The latter is sufficient for Quetzal's needs (by design), but GitHub Pages can't access platform.js in a sub-submodule. (Polymer's reference to platform isn't read-only.)