otags: 3.12.5 -> 4.00.1
Merge branch 'master' of github.com:ftrvxmtrx/aur-ocaml