Post type created with the “Custom post types” plugin.