kill the dead mobile debugging article. fixes #519