Manpages of satyr-python