Let's not use the term "formal specification"

That might get understood as something else altogether.
Make the userguide consistent with the other docs
Make the specification consistent with the other docs