I'm sorry, there is no such page as [ -f /var/run/ppp0.pid?.
No other page links to [ -f /var/run/ppp0.pid yet.