Re-exported PDF lecture slides