Created attachment 247378 [details] Version update patch This is a pretty basic update. It is not the latest, but I just reported an issue upstream and I want to see how they fix it. FWIW, I just noticed some of the (optional) documentation collides with the reduce-psl port. We may have to do some renaming there.