Update notes for submitted changes

* Tuna: update to LeanKernel 5.4 stable