Rename public header to explorer.hpp.