fixup derivation rules
Launch/GTurn/Principle: fixed figure
Bibliography: fixed links
*: externalizing figures
*: PDF optimization