“Does this pen work with the HP Spectre Convertible 15-df0xxx?”