Rename instantiation.rs to instantiation.rst