@tspyrou, @donn, @Kareem Farid, @Matt Liberty: The repository https://github.com/RTimothyEdwards/open_pdks has been updated with all the existing changes (the 6 commits made by Donn) to the efabless fork (plus a fix for an additional error I discovered while merging the pull request).

What about the open PR to the efabless repo?

It appears to be the same code changes, just that the pull request for the same changes was made separately to both RTimothyEdwards/open_pdks and efabless/open_pdks. Seems awkwardly inefficient, but then the whole setup is already awkwardly inefficient.