2 ms·

I also don't know, but they don't look too difficult to make in Inkscape. That's my go-to tool for diagrams.