Version history and documentation for #4244