maybe something was wrong with 3125451e (*: Update XML to new
WorkflowHistoryList data structure, 2020-06-12)