[tor-commits] [metrics-web/master] Move doc folder into main src tree.