Written specification for the Hobby Configuration Language