So I heard that community_pool-revamped used to be on the server, but why was it removed? Maybe we might be able to fix the problem?