Mozilla couldn't read the previous version.
Deleted image source codes.
Added webmanual und pp3/index.html targets.
New file.
Cover image added. Minor fixes.
Added list of known bugs.
Added comment on real star names in input scripts.