Milestones

Baby milestones.
We'll need to `$` wrap this so that jspot extracts this for translation. `$` doesn't return a string though, so we'll need to work around that.

This also means that the page splitting probably won't work for non-english languages, since the text will be a different length after translation. I don't think we should worry about this for now though, since the plan is to soon add support for this splitting to the toolkit.