Are there any branding guidelines? Should we create one? Are there any restrictions on who can use the logo / how the logo should be used? Are they under some kind of CC license?