Separate extension code from Github documentation.