Sept. 3, 2017
10:24 p.m.
Last update was in March (2017b). Last year there were many updates (10?). Does this mean (1) the database has stabilised; or (2) it is no longer actively maintained? Just curious :-D Cheers, Paul E: paul@holland.name