Yes, I agree it's a bug. Unfortunately, Kris closed the GitHub issue without resolving it (it only partly overlaps with #150):
https://github.com/kguil/Marvin-Roadmap/issues/152
That has happened to a couple of issues I reported to GitHub, too. We can only hope Kris will reconsider later on.

I'm keeping a plain-text file where I'm
manually tracking all GitHub issues important to me, because over there on the GitHub site, "Closed" does not always also mean "resolved", unfortunately.