hmmm, `server-installation.txt` has `…`, but the docs mostly have `...`. I don't know if @hflynn has some globally applicable preference.