Standardise casing of homeserver, identity server

[jryans]

These terms should be spelled "homeserver", "identity server", and "integration manager" in all user visible text.

Other variants such as:

• Identity Server
• ID Server
• Home Server
• Integrations Manager
• Integs

should all be replaced.

(Of course, if it's the first word in a sentence, the first letter should be capitalised.)

[turt2live]

while we're here: It's Integration Manager, not Integrations Manager, Integs, etc

[jryans]

while we're here: It's Integration Manager, not Integrations Manager, Integs, etc

And also lowercase as in "integration manager"? (For consistency with the others, I am hoping so...)

[turt2live]

yes, probably. It doesn't need to be a fancy thing

[jryans]

Edited top comment to include it.

[keremgocen]

I'm new here and looking for low hanging fruits unless anyone is on it?

[SimonBrandner]

@keremgocen, it has the Help wanted label and no-one is assigned, please go ahead!

[keremgocen]

dropping this one for now, feel free to grab please

[germain-gg]

Closed by #17980

[psrpinto]

It's worth noting that, in addition to the changes in the PRs linked above, given that the source strings were modified, extra work was required to recover existing translations for those strings (otherwise those translations would be lost).

I did this by using the Automatic suggestions feature of Weblate, which - for each string, in each language - suggested the previously-existing translation. Recovered translations were marked as Needs editing so that they are eventually checked by a translator.

For reference, here's the list of the source strings on Weblate, along with the recovered translations (navigate to the "Other languages" tab):

• Identity server URL must be HTTPS
• Not a valid identity server (status code %(code)s)
• Could not connect to identity server
• Identity server (%(server)s)
• Identity server
• Use an integration manager (%(serverName)s) to manage bots, widgets, and sticker packs.
• Use an integration manager to manage bots, widgets, and sticker packs.
• Integration managers receive configuration data, and can modify widgets, send room invites, and set power levels on your behalf.
• Identity server is
• Using this widget may share data with %(widgetDomain)s & your integration manager.
• Your %(brand)s doesn't allow you to use an integration manager to do this. Please contact an admin.
• Integration manager