[documentation] License, and formatting.