[math-fun] ~s highly miscellaneous hypergeometric identity