Just to make sure we're talking about the same thing, the patch I
posted has been applied, but the patch I didn't post hasn't.
5c6616146a1f1cdb18a8ed6f973a63ee73df9278 is the current version of
Sign.pike on the 8.0 branch, isn't it? The fix on the 8.1 branch is in
b238c808a70a4c671a2a7ecbdd083e41f469f41b.
--- a/lib/modules/__builtin.pmod/Nettle.pmod/Sign.pike
+++ b/lib/modules/__builtin.pmod/Nettle.pmod/Sign.pike
@@ -99,9 +99,9 @@ string(7bit) jose_sign(string(8bit) mess
//! @returns
//! Returns @expr{0@} (zero) on failure, and an array
//! @array
-//! @item mapping(string(7bit):string(7bit)|int) 0
+//! @elem mapping(string(7bit):string(7bit)|int) 0
//! The JOSE header.
-//! @item string(8bit) 1
+//! @elem string(8bit) 1
//! The signed message.
//! @endarray
//!
