We no longer need to maintain this, as it looks like MongoDB 4.0 is the end of the line for MongoDB Mobile.