While we're at it, might I make a feature request? I think it would be very helpful if deleted comments still had "permalink" and "parent" buttons like nondeleted comments, for navigational purposes.