This shell function exists only within the scope of the shell. The
python script is entirely unaware of it.

(Introduced in da52dace).

Signed-off-by: Samuel Dionne-Riel <samuel@dionne-riel.com>
Part-of: !6330
[ci:skip-build]: already built successfully in CI