I'm not making small changes, and as I said, it's not in a good shape yet for a merge request. This small modification is not among the main things I look to do, so it's not worth my effort to juggle my repositories to send a PR.
But if you think my changes won't be merged into Joplin, then I'll arrange related adjustments accordingly.