Consider renaming metrics-lib

applies to

  • git
  • trac
  • documentation
  • where else?