Currently the page speed plugin overwrites /robots.txt with its own content. This leads to problems in our setup, as Google cannot index our cached website.
The following lines:
demonstrate how page speed subdues our own robots.txt and overwrites it with own content for unknown reasons.
Also the second if/else can be removed as it currently has no further use.