Some bash scripts that leverage on existing pdf tools