Clean unused strings

With !348 (merged) we have finally removed a lot of code of the legacy tor-launcher.

However, we might have old strings that are still up for translation but aren't used anymore in 12.0.

When it becomes stable, and we don't update 11.5 anymore, we should remove them.