Doc fixes for $wgExtensionCredits.