Move part of doc to Covas