Many lang strings use a construction A user ... E.g. 'A user has never logged in' or 'A user has completed course "{$a->course}" {$a->operator} {$a->timecompleted}'.
It seems like better would be replace those strings with Users who ... E.g. . 'Users who have never logged in' or 'Users who have completed course "{$a->course}" {$a->operator} {$a->timecompleted}'.
Many lang strings use a construction A user ... E.g. 'A user has never logged in' or 'A user has completed course "{$a->course}" {$a->operator} {$a->timecompleted}'.
It seems like better would be replace those strings with Users who ... E.g. . 'Users who have never logged in' or 'Users who have completed course "{$a->course}" {$a->operator} {$a->timecompleted}'.