Revert "Delete stub.txt"

This reverts commit eb39b17aede300744cd6fcff72a52fa44709792b.