Old namespace ariadoc removal