If resources were available, what are the types of things that need to be done to encourage more developers to join the community?