Which HTML5 editor do you use, any particular one that stands out from the rest?

Any recommendations for an open source HTML 5 editor. Before I start downloading and testing out various ones just wondering if there is anything particular which stands out from the crowd or is perhaps the most popular.