Lizard documentation for developers