复制/粘贴设置

功能请求 让用户访问其设置的文本表示。 ## 概要 所需的文档选择和其他设置可能在不同的机器、浏览器配置等中相同。通过复制/备份/导出这些设置，然后粘贴/恢复/导入这些设置，可以使开发文档更容易自定义。 ## 示例 此功能的示例设计： * 在设置中添加两个按钮，一个用于复制，另一个用于粘贴。复制将将所有设置的序列化表示放入剪贴板，并向用户确认。粘贴将读取剪贴板，解析/验证负载，然后询问用户是否确定要覆盖设置。 * 在设置中添加两个按钮，一个用于下载设置文件，另一个用于从文件中导入设置。 * 在设置中添加一个按钮，将设置恢复链接放入剪贴板。如果用户导航到此 URI，则会询问是否确定要覆盖设置。 * 在设置中添加一个文本域，保存所有设置的 JSON 或 YAML 表示。所有设置都可以像正常情况下一样在文本域中编辑，两种表示保持同步。