Text this: Local exact controllability of the diffusion equation in one dimension