So have someone made a modern revision of Principia using the simplifications made possible by more recent development?