This file marks the pattern edutainment to be installed.
