remove outdated gendocs script
add porting headline