I'm not sure if "org-float" is the right way to quote this kind of symbol in a commit message. Please fix if not. HTH a tiny bit, Gregor