Text this: HPV vaccination in boys should not be discounted