Indeed, I have opened a new ticket to report this issue: https://github.com/github/mona-sans/issues/24