playground: use .a.js extension to allow gzip transfer encoding