Text this: The symplectic arc algebra is formal