15 Oct
2019
15 Oct
'19
7:27 a.m.
Clearly this was the wrong way to solve the problem. I think I've figured out a better way, but I'm not going to send a new patch until I've had more time to look it over ;-) -Alex