// The file
//   mymathlib.webrellis.net/c_source/functions/bernoulli_numbers/bernoulli_numbers.c
// has been moved.
// The new location is
//   mymathlib.com/c_source/functions/bernoulli_numbers/bernoulli_numbers.c