Remerge after conversion fixups
This is redoing the merges of !730 and !733, together with CI improvements (known_hosts etc.)
Push publication together with closing the previous head of the heptapod branch.
This is redoing the merges of !730 and !733, together with CI improvements (known_hosts etc.)
Push publication together with closing the previous head of the heptapod branch.