Unofficial mirror of the numlockx code