Something went wrong with the last merge

Rebuild the output files, get GitHub linkshelf back.