Update why4_opensource.md