this is so easy to work around though. it’s a file name. it doesnt even care about symlinks. if you want this badly it is so easy to do yourself, It’s the weirdest thing to complain about as someone who uses a multi provider system locally.