#5: Updated doc regarding Maven repositories.