Block comments colour bug

When using the dark theme in Codea, single line comments and block comments are coloured in green. However, when using block comments in Codea, sometimes the green colour leaks outside of a block comment into some of the code that’s surrounding it. This then makes it look like the surrounding code is commented out, when in fact it isn’t.

Is it just the color? Or does it actually comment out code?

it’s just the colour. No biggie

The code is just coloured green, but Codea doesn’t actually comment it out. This bug causes problems when scanning through code quickly to find something, since the code looks like it’s commented out since it has the same font colour as the comments.