@comment node-name, next, previous, up
@section Miscellaneous Extensions
@comment node-name, next, previous, up
@section Miscellaneous Extensions
@node Stale Extensions
@comment node-name, next, previous, up
@node Stale Extensions
@comment node-name, next, previous, up