Hello everyone! A short but promising update here. Since the last update I haven’t been able to really spend any more time bug-fixing, aside from a brief investigation of the memory leak issue which might prove far easier to resolve than I feared. Teaching has begun again and online teaching is unusually demanding (just browse … Read More