Extras repo for AOSTE