I went with the last option (even though it's all the way on the other side of the drama spectrum).
His time as Robin is an embarrassment and I'd be glad to see it go away forever.
Meh. I'm a fan of Nightwing. Don't hate his time as Robin, but wouldn't be sorry to see it go.
Dick's time as Robin does matter, but I would still love the character without it.
NO! Dick's time as Robin is SACROSANCT and must NEVER be removed or minimized!
I went with the last option (even though it's all the way on the other side of the drama spectrum).