KalmanFilterer v.1.11: also compiles fine in release mode
HTML: remove useless page