GitLab

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=435651

in the sf tracker

(which I always forget) in the help page

(minor modifications: default to false, add help)

saved setting in .htoprc for the session.
(thanks to Rodolfo Borges)

(useful for when SIGTERM fails and one wants to try again
with SIGKILL).

disable useless code in release builds such as runtime type-checking on
dynamic data structures and process fields that are not being computed,
faster(?) method for verifying the process owner (still need to ensure
correctness), don't destroy and create process objects for hidden kernel
threads over and over. Phew. I shouldn't be doing all this today, but I
could not resist.