11c11
< Description: Default speech server:
---
> _Description: Default speech server:
24c24,25
< Description: hardware port:
---
> # "none" must remain in english.
> _Description: hardware port:
32c33
< Description: ERROR: ${port} is not a character special device.
---
> _Description: ERROR: ${port} is not a character special device.
36c37
< Description: Users of speech server:
---
> _Description: Users of speech server:
55c56
< Description: Skipping invalid username ${user}.
---
> _Description: Skipping invalid username ${user}.
59c60
< Description: ERROR: no normal user can use ${port}.
---
> _Description: ERROR: no normal user can use ${port}.
