Today I learned that Polars allows non-strict vertical concatenation of dataframes with the parameter how="vertical".
how="vertical"
Size matters at codegolf.stackexchange.com.