On Sat, 28 Apr 2012, Andreas Jaeger wrote: > Here's my proposal - please comment. > > 4. Miscellaneous I agree with the proposals here. -- Joseph S. Myers joseph@codesourcery.com