[sepia] Github host key woes