Add @SevInf to maintainers