This reverts commit bad46c4e95 after it was erroneously added by the build job
bad46c4e95
This reverts commit 81496a2914 after it was erroneosly added by the automated note building job
81496a2914
Manual edition