bash: moved extract() function to a script in .bin/, deleted man() function