Miscellaneous for JANUS4-SE