Better support badge in IE; do not include decimal points.
Support running dev server on different host/port.