Some cross-package API Docs links are broken

[mx-psi]

Steps to Reproduce

1. Visit the API Docs for Data.Vect.
2. Click on the parentheses on the type signature of zip3 or the dependent pair constructor on takeWhile

Expected Behavior

The documentation should appear: in both cases the correct URL should be

https://www.idris-lang.org/docs/current/prelude_doc/docs/Builtins.html

Observed Behavior

The links point to a non-existent page,

https://www.idris-lang.org/docs/current/base_doc/docs/Builtins.html