On Thursday, 26 July 2018 at 12:13:01 UTC, Joakim Brännström wrote: > https://github.com/joakim-brannstrom/blog/blob/master/posts/2018-07-24.md Nice! I /just/ decided this afternoon that it is time to do some profiling; thanks for the tips.