After some Python taming I improved my wordpress-rest-curl tool. Now it has the ability to extract the post title.
If the first line begins with #, it uses the rest of the line as the post title and removes it from the post content. This way I can get rid of all the (no title) posts that had an embedded title that WordPress didn’t know about. Nice!