Sorry, I misread - yes, that could be done in software where the pins support both. Definitely B1 should be using TIM3_CH4
A7 is more tricky, as if that used TIM3_CH2, it would conflict with B5! So you'll never be able to use B13, A7 and B5 at once - it's just a hardware restriction.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Sorry, I misread - yes, that could be done in software where the pins support both. Definitely B1 should be using TIM3_CH4
A7 is more tricky, as if that used TIM3_CH2, it would conflict with B5! So you'll never be able to use B13, A7 and B5 at once - it's just a hardware restriction.