I did the manual install because we don't use the default forum theme. The problem was that you have to specifically set permissions for each user group to make the bookmarks stuff show up - which they didn't bother to mention!
So, it should be showing up for everyone now.