MR #41 relies on https://github.com/coq/coq/issues/5039, which has
not been fixed in Coq 8.6.

This matches e.g. Iris allowing a "dev" version of std++: You can install a
"dev" version to test stuff, but then you are responsible for making sure that
these versions actually work together.  We rely on that when testing things
against Iris master every night, for which purpose we install Iris master as
"dev" version.