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