“I bought an HP 17-BS049DX in February. How can I tell which of the USB ports are 3.1. There are 2 right next to the HDMI port and one on the right side. Where can I find a manual?”