lean 4.16 seems to take longer to build?

Stream: general

[Jens Petersen]

Maybe it hasn't been formally announced yet, but since it is tagged in github, I started building Lean 4.16.0 for Fedora Linux and noticing that it seems to take noticeably longer (50%+) to build than 4.15: is that expected?
(specific details under https://copr.fedorainfracloud.org/coprs/petersen/lean4/builds/ - I can also open an issue)

It also possible I should have read the release notes and/or changed something about how I build...

[Kim Morrison]

Yes, build times for Lean itself have increased, we've added a lot!

[Mauricio Collares]

But if they increased by 50% in a month, I bet profiling will find some surprises