prototype pymor-HEAD recipe