Sole maintainer of Linux distro AnduinOS turns out to be a Microsoft employee