Other things being equal, prefer HTML