Hola David.
Sí, ya está claro.
Hasta hace 2 días yo usaba los tags HTML de pre y code y funcionaban bien.
Cuando intenté usar el botón [code] pensé que algo iba mal al ver los apóstrofes (es la primera vez que veo esa forma de marcaje).
Entonces NO podemos usar los códigos BBCodes tal como yo creía (aparece la frase: You can use BBCodes to format your content).
Saludos
Paco Satué