* The “ddTools” library has been updated to 0.12.