Update design documents with finalized product names

[ggeisler]

When we finalize the names of the application and the hosted service, we need to update all design documents intended for external distribution to use the finalized product names.