@JosephWright -- this is probably just sour grapes, but this question was closed before i got a chance to answer it:
tex.stackexchange.com/q/405542 . please look at the last couple of comments on the question, and if you think it's worth posting the answer given in my comment, please (nominate to) reopen. thanks.