Refactored `AvailableDefinitionsController::getDefinitionPrinter()`