Just kidding. MapView and AnimatedHistoricView are now final versions
(no more features to be added, may need more comments).