Esta página le muestra la mejor herramienta Einstellungen en la extensión de Chrome y la herramienta gratuita Einstellungen en la extensión de Chrome.
Las mejores extensiones de Chrome para Einstellungen son: Rustdoc Settings Sync.