Bug reporting sections of Dev Guide revised.