Manpages of src:stymulator in Debian testing