Rooted Divergence-Preserving Branching Bisimilarity is a Congruence (Logical Methods in Computer Science, 2020)