Changed the ace-jump kbd to Super-a, and changed reftex initialization
just a bit.