Cxx-prettyprint (для стандартных контейнеров) определяет свои операторы вывода внутри пространства имен std - это стандартное нарушение?

Изучая его совместимость с Boost.Format, я с удивлением обнаружил, что он просто работает из коробки, когда другие вопросы говорят о том, что этого не должно быть, потому что ADL не должен работать с оператором вывода, предоставленным пользователем.

Заглянув в заголовок cxx-pp, я обнаружил, что это просто работает, потому что библиотека определяет свои операторы вывода внутри пространства имен std:

// Main magic entry point: An overload snuck into namespace std.
// Can we do better?

namespace std
{
    // Prints a container to the stream using default delimiters

    template<typename T, typename TChar, typename TCharTraits>
    inline typename enable_if< ::pretty_print::is_container<T>::value,
                              basic_ostream<TChar, TCharTraits> &>::type
    operator<<(basic_ostream<TChar, TCharTraits> & stream, const T & container)
    {
        return stream << ::pretty_print::print_container_helper<T, TChar, TCharTraits>(container);
    }
}    
....

Очевидно, авторы не были уверены в этом на 100%: qq "Можем ли мы сделать лучше?"

Добавление чего-либо в пространство имен std - это формально UB:

[C++11: 17.6.4.2.1/1]: Поведение программы C ++ не определено, если она добавляет объявления или определения в пространство имен std или в пространство имен в пространстве имен std, если не указано иное. Программа может добавить специализацию шаблона для любого шаблона стандартной библиотеки в пространство имен std только в том случае, если объявление зависит от определяемого пользователем типа, а специализация соответствует требованиям стандартной библиотеки для исходного шаблона и не запрещена явно.

Итак, это в cxx-pp формально UB, или это специализация шаблона (мне это не кажется).

Комментарии относительно практического воздействия этого, если только UB, будут очень приветствоваться.