Remove isModified() from server main()

...function is an unused remnant of development process toward handling
feed-source cache invalidation.
Reordering functions in server main: f64Opt()

...reordering to restore alphabetization of functions in server's main
file.