Update #19 Jul 9, 2018 Made some miscellaneous improvements. More maintenance to come this week. Please enable JavaScript to view the comments powered by Disqus.