“Does this pen work with the HP spectre?”