fix docu as tomdroid 0.7.3 is already out and the hacks are not necessar...

...y any more