@leftpaddotpy @raito @alanc In my book, changes between git and release are history, and there should not be undocumented history.