add proposal name to top level

Author: conrad-watt

document/core/conf.py

@@ -69,7 +69,7 @@
 repo = 'spec'
 
 # The name of the proposal it represents, if any
-proposal = ''
+proposal = 'Threads'
 
 # The draft version string (clear out for release cuts)
 draft = ' (Draft ' + date.today().strftime("%Y-%m-%d") + ')'