Suggestion - could a date stamp be added i.e.
//ToDo (2/12/2012 1:00pm):
or
Have a hot key (Ctrl+S) that will pick user ID and date time stamp after comment lines i.e
// Hendrikv 2/12/2012 1:00pm:
Maybe these are already available?
Also, like in SQL scripting, instead of having:
// this
// is
// a
// comment section...
have -
//*
this
is
a
comment section...
*//