html encoding markdown