A pocket mine plugin: