Optimization of the decoder regex
js codec now uses `Character`
General optimization and correction of comments (translation...)