By the way, just for clarity, note that the comments in this subthread were written before we updated the random seed for that example to result in a much bette

By the way, just for clarity, note that the comments in this subthread were written before we updated the random seed for that example to result in a much better diagram: https://github.com/penrose/penrose/commit/134533830dab25642a153b60112f6f310622a247 https://github.com/penrose/penrose/commit/134533830dab25642a...