How to form a THATCamp Coordinating Council