fix myplc-docs for planetlab-tags