Some cleanups + check that HAE repos are available