Either we finalize before %Heptapod 0.13.0 release by merging with 12.3.9, or we move along to 12.4 (#246 (closed))