I thought I already commented on the removal of these end comments.. Did I not? I think they should stay, since they have been there for a while. I think it is an opinion if one wants them or not of course.