/* Generated by the image manager — do not edit by hand. */