Merge pull request #1766 from dsheets/master

+opam2web 1.3.1