Advice and answers from the Lean Library Team