xmode: cleanup using.
ui.tools.deploy: change article title.
json.writer: handle special floats.
basis/extra: cleanup some platform requires.