On Tue, 3 Feb 2026 14:45:11 GMT, Radim Vansa <rvansa at openjdk.org> wrote: > What about deprecating the short names OK with me ------------- PR Review Comment: https://git.openjdk.org/crac/pull/289#discussion_r2759515661