Manpages of src:stm32flash in Debian unstable