We actually has two issues here:
1. Update to upstream version 0.2.2 (this requires approval from release managers);
2. Enable skim plugin.
We actually has two issues here:
1. Update to upstream version 0.2.2 (this requires approval from release managers);
2. Enable skim plugin.