Should dating apps have HIV filters?

Dating apps and sites offer the option to filter matches by sex, ethnicity, height or religion — but they could be even more personal.