Ik gebruik ook Bluegriffon. Fijn programma. WYSIWYG en controle over de broncode plus directe check via HTMLtidy. De maker daarvan zit trouwens ook in W3C op een sleutelpositie en heeft veel ervaring met dit soort software. Bovendien is Bluegriffon helemaal vanaf de grond opnieuw opgebouwd en daarmee het meest recent qua software.
Van Amaya zijn problemen gemeld. Laatste release is van 2012. Misschien dan van W3C, maar dat zegt me niet veel als het niet actief wordt bijgehouden.