Text this: Multi-succedent sequent calculus for intuitionistic epistemic logic