Re: [Python-ideas] build:// Path / URI / URN with the __div__ operator