News in 3.7.92 -------------- * New style id for warnings * Improvements to the completion code and documentation * Misc bugfixes * Updated translations