Issue #2803: update a wiki link