Tropical methods for stable Horikawa surfaces | Synapse