Another bucketload commit: fixes, and some new F2.5 features
Add profiler extension