issue #879: Wiki links need to be updated