Tw there is a follow-up. Not much. But still an update : https://blog.plover.com/math/PM-translation.html