This is a tool for the Devoted Minecraft server (see reddit.com/r/Devoted). It allows you to search for users or item prices from your browser and contains a few useful links for the game. This is the very first version so please contact me (contact link in the extension's popup) with your ideas.
You may also customize both the reddit searchboxes and add more useful links to the list. Make it your own mini portal for Devoted!
THIS TOOL IS NOT AFFILIATED WITH THE SERVER OR THE SERVER OWNERS
This add on is based on my other add on for /r/CivCraft