BaseX 7.2 发布，XML 数据库

BaseX 7.2 发布，该版本主要改进内容包括：

1. 支持新的 RESTXQ API 用于构建 XQuery 的 Web 服务
2. 改善对将 BaseX 作为 Web 应用运行的支持
3. XQuery 增加更高排序函数用于加速 Top-K 查询
4. 支持代理服务器设置
5. 支持高级 TagSoup 选项，用于导入 HTML 文件
6. 利用 ft:tokens() 提供更快的全文索引条目的便利
7. 命令行支持历史操作记录
8. 查询结果的 HTML5 序列化