Sisi, les @include sont reconnus. 
Quand tu regardes dans le dossier des extensions, quand tu glisses l'userscript, un manifest.json et un script.js sont crées. (comme pour une vraie extension Chrome/ium quoi).
Et dans le manifest.json, les URL que t'as mises dans le *.user.js sont bien présentes. 