In my defence, I both searched through the mailing list page using my browser, and searched for "xv6 site:suckless.org" with DDG, without finding anything. After Kurt pointed out that it had been discussed before, I tried the same query with Google, which found one mail mentioning xv6 in the middle of a thread about games.
Note to self; Google still works better than DuckDuckGo.
