Change names of documents installed from SDK to provide better
consistency.

Issue #77