This is now its own repo (plum-umd/rdl).