20231012 更新：实验性地支持了重命名功能，并支持了插件配置界面的右键菜单。
标题栏的别名功能与重命名功能互不影响，是平行的两个功能。未来当重命名功能稳定后我们或将移除点击标题栏修改别名的功能。
