Weiming

I can confirm that it is safe to delete the folder mentioned above and save about 380MB. It is a big deal for a Mac. Hope that can be resolved.

git push 创建 repository 有个问题，很可能敲错了repository 的名字，而导致新建了另外一个repository。好像GitHub 是有一个专门的[命令行工具 gh](https://cli.github.com/manual/gh_repo_create)来实现的。

Zotero does not support showing the status of read or unread as well. I use a coloured read tag to do that, which add a small coloured square at the...

If you mean modifying the status of a paper automatically, you may offer several options. For me, I add them manually. Unlike emails, which is usually short and need response....

Sorry about that. paperlib only shows the extension of a supplementary document. It works if it only has one supplementary document, but is confusing when it has multiple supplementary documents...

I have a question on the loading route file. When I start sumo-gui by both a configuration file and a route file, but they point to two different route files,...

@m-kro Sorry, I do not mean the information on loading route files was shown in previour versions, but do not show in the latest version. I want to request a...

Hi, I do not use plane frequently, but I use github issue to manage the tasks in the development. I also do research, so sometimes being able to render latex...

I use optimisation and simulation quite frequently. So there may be equations in the dissusion. Most of the time it will not be so complex equations. I really do not...