[minor] I think we normally use smaller indents for JSON files? I may be wrong, though.