Text this: Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge