do-not-use-build-time-in-docs.patch
