My wish is that if I use any of the Serial communication functions that these are redirected over GPIO_pins 4&5
I guess that flashing the software from the IDE still needs to be done over the original RXD_TXD_pins GPIO 1&3 but that is no problem.
I understand that ESP8266 pins can be (re)configured for any function. So it probably is possible to make a change somewhere in a Arduino_ESP8266 core_file that defines the pins so that the Serial port is mapped to GPIO 4&5 and that GPIO 1&3 can be used as general GPIO especially I want I2C on these pins.
Does someone have a clue for me where I need to look , specially which file ,for these pin_defenitions ?