I still believe that open-sourcing the help file on Github would not be a major Intellectual Property issue, but would enable the community to update the help file contents for the benefit of all.

And I would also say the same for servers.ini - putting this on Github would allow the community to make servers.ini both more comprehensive and reflect the churn of IRC servers. I suspect that this would also result in a community member creating a script to update existing users servers.ini file from a new servers.ini file downloaded from Github.

All that said, this is entirely up to Khaled (since he owns the IP) and it is completely understandable (and completely within his rights) if he decides he doesn't wish to open source these two items.