Merge "Rename `libsyn` to `libsyn2`" into main