so, one mystery solved: (3), though I'd expect also a link in the navigation on the left. https://gitorious.org/social/mainline/commit/a5d27d9ce700d24d8fd2493a4b988cfe22d247e6