Well, and then I found a bug after I had posted that. Technically it is not a bug, but an interesting feature. I will fix that tomorrow.

2018-05-17T17:45:29Z