Thank you for reminding me - I forgot that completely.
Using an alternative timer, it is possible to get multi-tap working with Picos, as demonstrated by @erktrek