[readabledotred]

Red [] is the header, It shouldn't behave like this for just Red, I'll raise an issue, so for now you have to be carefull about that though if you don't write tutorials on Red the probability should be low. In the future, I'll make that replacement automatically as I doubt it will be fixed soon if ever the core team will do it.