https://sourceforge.net/u/benrousch/profile/ and https://sourceforge.net/u/testuser008/profile/ and many more show no user tools. A quick mongo check shows a few defaults which look ok:
> db.config.find({project_id:ObjectId("4dade376b9363c47f1000b10")}) { "_id" : ObjectId("4dade377b9363c47f1000b17"), "acl" : { }, "version" : null, "discussion_id" : ObjectId("4dade377b9363c47f1000b18"), "project_id" : ObjectId("4dade376b9363c47f1000b10"), "options" : { "ordinal" : 0, "mount_point" : "profile", "mount_label" : "Tool Name" }, "tool_name" : "profile" } { "_id" : ObjectId("4dade378b9363c47f1000b19"), "acl" : { }, "version" : null, "discussion_id" : ObjectId("4dade378b9363c47f1000b1a"), "project_id" : ObjectId("4dade376b9363c47f1000b10"), "options" : { "ordinal" : 0, "mount_point" : "admin", "mount_label" : "Tool Name" }, "tool_name" : "admin" } { "_id" : ObjectId("4dade379b9363c47f1000b1b"), "acl" : { }, "version" : null, "discussion_id" : ObjectId("4dade379b9363c47f1000b1c"), "project_id" : ObjectId("4dade376b9363c47f1000b10"), "options" : { "ordinal" : 0, "mount_point" : "search", "mount_label" : "Tool Name" }, "tool_name" : "search" }
Actually it seems that this differs based upon whether you are logged in as the user in question, or not. But we should always show the "Profile" link
Profile menu item always shows up now