Thomas Refis

But has base actually been loaded? The aim of `-short-paths` is to use the information it already has in the typing environment but to avoid loading any more cmi files.

> For instance, imagine this PR only proposed the let* form and not let+; people could start using let+ locally for their own purpose, including in contexts that also use...

> Are you saying that the code will never mix different custom let binders? No, I'm just saying that I think people should explicitly bind their binders when they do...

So, if I'm not mistaken, we've now had 3 weeks of serious discussion about *the name of the attribute*. However, one thing I cannot really see (neither in the PDF,...

The attachment rules are indeed "incomplete": they are only there for labelled/optional parameters. But for those they are already there, and it would be nice if odoc propagated them already.

`include`s of structure/signatures should indeed always be inlined by default. We currently haven't gone that way yet because substitution (for example `with type _ t := int`) isn't properly implemented,...

It does, see https://ocaml-doc.github.io/octavius/syntax.html (in particular: the "new tags" section).

Things don't seem to have changed to much in that area during the reorganization, and it should indeed be relatively easy to change from what I can see.

If we have: ``` {1:sec-id {{:https://foo.bar}Foo bar lol}} blabla blabla see {!sec-id} ``` then I would suggest render emitting `{!sec-id}` as `

Similarly, the section should become: `Foo bar lol`