Update documentation for Lucky Lamprey branch