I think this should be under the heading Organizations in the tag category AI.
Do you mean as a sub-sub-tag? I think that would be good idea.
I have looked at the LessWrong tag manager, but still do not know how to do it. Any tips?
(if the idea is to merge it with the Organizations tag, I am biased of course, but there are enough posts tagged AI Safety Camp to warrant it being tagged as a distinguishable organisation)
Ah, found the other page, and I see it is already put under the category ‘Artificial Intelligence’, under the heading ‘Organizations’: https://www.lesswrong.com/tags/all
Thanks for the help getting this sorted, @Plex.
Yup, the all tags page is not openly editable, but Ruby gave me access a while back after I did a bunch of editing and categorization for the AI tags, so I added this.