Polishing: start/stop animation, html labels, comments...