Update leanux.md