# Looks like a bug indeed, best to create an issue on Github, as discord isn't used for issue handling