more work on rationalizing #406
fix syntax highlighting in proposals