Add explanatory comments regarding odd Jenkins behaviour