Allows you to disconnect your Spidertron remote.
Providing the player with new tools or adjusting the game interface, without fundamentally changing gameplay.
Cool idea! I was confused this isn't in vanilla yet, have you posted it as a suggestion?
One suggestion, to treat modded Spiders the same, change player.selected.name == "spidertron" to player.selected.type == "spider-vehicle".
player.selected.name == "spidertron"
player.selected.type == "spider-vehicle"
Thank you for the suggestion. The mod was made without ever thinking of modded Spiders, so I have now changed it in Version 0.1.2. While I cannot test for these modded Spiders, they should now work.
https://mods.factorio.com/mod/spidertron-extended is a good one to try.