fix links to simplification rule docs