auto indent

[Wolfgang]

Hi Luis,

my preference is to have comments not indented. I can configure auto indent to do that, but only for the // comment style. So if you are running out of bugs and suggestions, here is yet another one

Have a nice weekend!