Merge branch 'main' into 1735-strange-use-of-w_shl_sat_l-error-in-stl2024-specification