Silence compilation warning by avoiding some deprecated constructs.
Ensure locality modifiers are properly highlighted in CoqIDE.
Remove a useless hypothesis from Rle_Rinv.
Silence some warning about references in documentation.