// RecoveryProxy is header-only for now (template-heavy).
// This file exists for the CMake target.
#include "recovery/RecoveryProxy.hpp"