Documentation enhancements.
Renamed GitHub project to "ike".