It is currently possible to draw with ink in various colors. Therefore, an eraser tool would be useful if I only want to remove individual lines and not the entire annotation.