Subtree of RDev user library