20171225 city.delhi: Delhi Metro's Magenta Line: 10 things to know