any news about this?
I finally didn’t choose MikroTik just because of this, and resorted to RRAS which I actually didn’t like but worked for this requirement.
And what’s more, I can confirm that Cisco IOS supports to relay DHCP requests to a DHCP server on other interface with command
ip helper-address
on the ppp interface, essentially, it is all about DHCP option 121