Thank you to all who participated. The Language Steering Group has accepted with modification to add @section(default) as discussed above; please see the announcement thread for details.
1 Like