I agree with the first 3 points.
I think the 4th one is less of a priority for now, but it will probably be a good idea as soon as people will start posting source code in comments.
Thanks for the ideas, and feel free to share if you have some more ;)