With something like
dtoverlay=act-led,gpio=26
in boot/config.txt I can enable an external activity LED, which is useful if the Pi is in a case and the on-board LED cannot be seen. Unfortunatelly, this disables the internal LED, so when the external LED is disconnected (or broken), nothing can be seen at all, even if the case is open.
Is there a way to enable both, basically duplicating the LED status to the GPIO pin, instead of replacing it?