Hi,
first of all: the php formatting is a great feature which I appreciate a lot.
(Edit: sorry, did not read the previous posts carefully enough and wrote some rubbish.)
Something else I noticed: In a few threads it was reported that within php formatted text backslashes seem to get dropped, which led to some confusion. Maybe someone could look into this sometimes?