Arduino esp8266 platform installation directory

1

Hello.
I would like to know where PlatformIO has in the hard drive the copy of arduino esp8266 platform used to build esp8266 projects.
Thank you very much

2

http://docs.platformio.org/en/latest/projectconf/section_platformio.html#home-dir