Clean up Web-P Extension

[jyutzler]

I expect pretty minor changes here as this is a simple extension.