Note that MAINTAINERS.txt may not be up-to-date at time of reading