Link to proviola rather than coqdoc pages