Fix calculation of user manual translation stats
...