Due to bugs in its js2-mode, disable GNU package repo for now