Nothing much to add, except that dulling an edge on glass (1-3 strokes, until it loses all cutting ability) will effectively dull the edge, but doesn't kill it; you can pretty much bring it back to where it was before dulling with a decent stropping.