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 //!