I reported the bug (and surprisingly less than 24 hours later) the fix is in the git repository
You shouldn't be surprised by that - there are a few guys over there who are typically very responsive.
Unfortunately, they're not usually hanging around the monastery.