Service time ignored in availability report

Just to make sure, I submitted a bug report to feedback@checkmk.com, pointing to this thread and the two threads from 2020.