OK, I'd ﻿update my branch if that's the preferred route to go. However, I'm traveling these weeks and have no access to my repository. If anyone else would like to chip in: please do so! Otherwise I'll fix this up when I return.