Added to the developer manual