I am subscribed to the gentoo-performance list, but my postings to it do not appear. The list seems to be quite dead, with the last post in july of 2009. So, what's up?
Oh. After a few hours, my post suddenly appeared, and I also got two replies. Although this is a long time, and posts on gentoo-user appear after a few minutes, I am closing the bug. Sorry for the noise.