For all currently supported platforms, the result was already portable, despite the documentation's hedging. Also fixed up the documentation in other ways, such as the fact that `seconds->date' returns a `date*'.
regexp-replaces' from