Update DOCUMENTATION_LIBPUZZLE.md