These documents are no longer HTML files, so the internal reference
should be updated.

Part-of: <!4630>