This file marks the pattern extra_obs to be installed.
