Amaya white-space handling

Hi,

On October 2003, I sent a mail to this list (http://lists.w3.org/Archives/Public/www-amaya/2003OctDec/0048.html) 
asking for white-space support in Amaya, because Amaya was deleting double white-spaces.

Irène suggested (http://lists.w3.org/Archives/Public/www-amaya/2003OctDec/0049.html):
> What I suggest for the next week release is to:
> - Add an option in the configuration file thot.rc that let you desactive that behaviour.
> - Handle correctly the xml:space attribute.

Has been this option included?

Best regards,
Bartolomé Sintes