23:06:42hayleyI still think some not-entirely-essential modifications are better than full in-house; but it's still maintenance effort, yes.
23:41:06Bikeoh, sure, i mean, we didn't make one ourselves, we're still on boehm
23:41:28Bikealso fixing mps in this way would have required some pretty deep work, since the allocation stuff is all a bunch of hyper optimized macros and functions
3:02:14Mondenkindbeach: the OED cites the first appearance of 'ersatz' as an 1875 entry in the encyclopaedia britannica: “(German army), Those who are exempted..are passed into the Ersatz reserve.”
3:02:48beachMondenkind: Oh, interesting. Merriam-Webster mentioned the date, but not the original use.