c42812da1395 ("MAINTAINERS: add entry for LEGO MINDSTORMS EV3")