janest-core-kernel 113.00.00-3 is marked for autoremoval from testing on 2016-09-18 It is affected by these RC bugs: 833513: janest-core-kernel: Core needs update to cope with PPX-style syntax extensions