A short while ago, I was looking for a Linux-based HTML editor, and a friend of mine suggested Bluefish. Does anyone have any experience in using it?