make use of bidirectionality hint for tele_app

2 jobs for !342 with ralf/drop-8.10 in 5 minutes and 3 seconds (queued for 18 seconds)
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.11.2 #160597
fp

00:05:02

passed build-coq.8.14.1-mr #160596
fp

00:04:53