(currently only used by a not-yet committed plugin, though)

Change-Id: Id62ea41031ad8ba4495ef46877ad7a10bc58fb05