org: more hyperlinks

* doc/org/ltlfilt.org, doc/org/tut12.org: Add links.
13 jobs for next in 146 minutes (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #35947
alpine-gcc

00:38:36

passed #35948
arch-clang

00:41:11

passed #35949
arch-gcc-glibcxxdebug

00:42:00

passed #35946
debian-gcc-snapshot

00:59:11

passed #35944
debian-stable-gcc

00:40:23

passed #35945
debian-unstable-gcc-coverage

00:47:08

88.8%
passed #35952
debpkg-stable

02:23:50

passed #35953
debpkg-unstable

01:54:31

passed #35950
mingw-shared

00:09:43

passed #35951
mingw-static

00:12:20

passed #35954
rpm-pkg

00:34:51

 
  Publish
passed #35955
dput
publish-rpm

00:00:23

passed #35956
dput
publish-unstable

00:02:09