Comment removed from manual PDF.