On Sun, Feb 14, 2021 at 6:44 AM Gerard Meijssen <gerard.meijssen@gmail.com> wrote:

Magnus rewrote many of his tools in RUST, including the SourceMD tooks, it made no difference for the community

I don't want this to go unappreciated. A few months ago I used QuickStatements for the first time in years and I was very impressed with how fast it was. Considering how essential QuickStatements is, I am greatly appreciative of Magnus' work making QuickStatements more robust and scalable.