added sage:labels.
Added comint-redirect-original-filter-function.