Updated, see my todo lists here. Since I am quite busy not working on a new paper submission, I would like to delay this change and definitely add this simple change in the next release.

@MartinSleziak Feel free to let others know the index is not updated at all, so that people do not need to struggle to search a recent post.

@MartinSleziak Posted. Thank you for reminding me again, Martin!

@MartinR Unfortunately A0 does not distinguish operator symbols within the same tokens. In short, this is a trade-off result that is rooted in our model (for the sake of efficiency and search recall), I can improve it later but currently I have no choice but to tokenize them as the same token (so that you can still search one for the other) and get better recall.

@MartinR I also added this to my todo list, I agree this is very demanded thing, hopefully I can find a way to deal with it. Sorry for my slow development, but my research require much more time than I expected on writing and refining previous results which squeeze my time a lot for new development.