Generated: GitHub has changed the labeling of sections in the wiki.