LGTM. This is a trivial patch that could be directly applied to staging IMHO.
pushed to staging.
commit 99a9a5b304b72910c31593f3b434b4b47874ebbf Author: Han-Wen Nienhuys <hanwen@lilypond.org> Date: Fri Feb 21 16:20:52 2020 +0100 Use HTTPS for all search boxes https://codereview.appspot.com/563570043/