Rename why3_opensource.md to why4_opensource.md