Valama: Animated SuperSourceView annotations, allow different colors