Which just redirects to this: https://gforge.inria.fr/tracker/?group_id=6881 https://gforge.inria.fr/tracker/?group_id=6881 But the 'Bugs' link is literally o

Which just redirects to this: https://gforge.inria.fr/tracker/?group_id=6881 https://gforge.inria.fr/tracker/?group_id=6881 But the 'Bugs' link is literally on the first page of the book.